X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=2e2ef874e12af0bd0aa4fabd8ce8ce7f611b517e;hb=1b21075e987872a2e3103203b4e67c939e4a9f6a;hp=c0c4862a3466c27378086ace0e1b9e46ed992bfa;hpb=e15511011153b6e83a53e26814d711a8456d4ebf;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index c0c4862a3..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
@@ -1871,7 +1871,7 @@ Copyright (C) 2005,
True
GTK_RELIEF_NONE
True
-
+
@@ -1907,7 +1907,7 @@ Copyright (C) 2005,
True
GTK_RELIEF_NONE
True
-
+
@@ -1978,7 +1978,7 @@ Copyright (C) 2005,
True
GTK_RELIEF_NONE
True
-
+
@@ -2014,7 +2014,7 @@ Copyright (C) 2005,
True
GTK_RELIEF_NONE
True
-
+
@@ -2044,7 +2044,7 @@ Copyright (C) 2005,
-
+
True
True
True