]> matita.cs.unibo.it Git - helm.git/commitdiff
Typo fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Jul 2007 09:17:32 +0000 (09:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Jul 2007 09:17:32 +0000 (09:17 +0000)
helm/software/matita/matita.glade

index 31ca67c3369abb38fffc0840671a7ecfbb88091d..e50642a61c18deec5c726b1440cdf278b96ee4fc 100644 (file)
                               <widget class="GtkMenuItem" id="showCoercionsGraphMenuItem">
                                 <property name="visible">True</property>
                                 <property name="tooltip" translatable="yes">Displays the graph of coercions</property>
-                                <property name="label" translatable="yes">Coericons Graph</property>
+                                <property name="label" translatable="yes">Coercions Graph</property>
                                 <property name="use_underline">True</property>
                               </widget>
                             </child>