X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathita%2Fmathita.glade;h=9f5a5f4f65e10c07d3e633b26f1fcf659916bcb7;hb=a3b2a5b4a985644c7bd7271b40b599e154d347ef;hp=a1150cfbca4d4dfaddbb754161ed43e81f338dcd;hpb=012882cec674d741f69fce307a6822a584fd6a45;p=helm.git
diff --git a/helm/mathita/mathita.glade b/helm/mathita/mathita.glade
index a1150cfbc..9f5a5f4f6 100644
--- a/helm/mathita/mathita.glade
+++ b/helm/mathita/mathita.glade
@@ -25,20 +25,142 @@
True
-