From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 19 Jul 2007 09:17:32 +0000 (+0000)
Subject: Typo fixed.
X-Git-Tag: 0.4.95@7852~309
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8b7c1699bf9c2d461ae572aac0e5b0e16c1b3dc5;p=helm.git

Typo fixed.
---

diff --git a/matita/matita.glade b/matita/matita.glade
index 31ca67c33..e50642a61 100644
--- a/matita/matita.glade
+++ b/matita/matita.glade
@@ -1161,7 +1161,7 @@
                               <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>