Re: notation command

2010-09-23 Thread John Mandereau
Hi Pavel, Le jeudi 23 septembre 2010 à 08:07 +0200, Pavel Fric a écrit : > I have question on usage of case in @notation command > > Is it the same, as with @ref command - e. g. two commas, when there is > need for usage of case? No, @notation macro, defined in Documentation/common-

notation command

2010-09-22 Thread Pavel Fric
Hi, I have question on usage of case in @notation command Is it the same, as with @ref command - e. g. two commas, when there is need for usage of case? Otherwise, I finished "Tutorial" and I plan starting of work on "notation" G