X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=2e2ef874e12af0bd0aa4fabd8ce8ce7f611b517e;hb=c76c8c83852508d69e7765dc9e929cdcf34af57d;hp=7ae1860d5361cc2793561748f6d09e7806b40496;hpb=0a9583936e33eb9d65361537fd1e05168d423d11;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 7ae1860d5..2e2ef874e 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -1261,7 +1261,7 @@ Copyright (C) 2005,
True
Intros
True
- intros
+ intro
True
GTK_RELIEF_NORMAL
True
@@ -1838,12 +1838,12 @@ Copyright (C) 2005,
-
+
True
True
-
+
400
True
False
@@ -2044,7 +2044,7 @@ Copyright (C) 2005,
-
+
True
True
True