>>>>> "Ozgur" == Ozgur Ugras BARAN <[EMAIL PROTECTED]> writes:
Ozgur> Notation Entry/ Notation List in user visible places, IMHO. Ozgur> People complained about Nomenclature word before. (Some people Ozgur> also complained for Notation word :-) ). But Nomenclature is the word that appears in the document (at least with my old version), and I am not sure we should change that. JMarc
