]> matita.cs.unibo.it Git - helm.git/commitdiff
left -> right
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 20 Jun 2008 18:36:39 +0000 (18:36 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 20 Jun 2008 18:36:39 +0000 (18:36 +0000)
helm/software/matita/help/C/sec_usernotation.xml

index 874e2d54f31a0d597ba35b97581e709b9789c0c4..efb9e564bb187d87d895b705cb3959496f4310ca 100644 (file)
@@ -84,7 +84,7 @@
        <row>
         <entry/>
         <entry>|</entry>
-        <entry><emphasis role="bold">left</emphasis> <emphasis role="bold">associative</emphasis></entry>
+        <entry><emphasis role="bold">right</emphasis> <emphasis role="bold">associative</emphasis></entry>
         <entry>Right associative</entry>
        </row>
        <row>