X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=75783e6ab0dc16099c6f9fd73b5ce95d72150932;hb=f6c887944d48d718f372a57f1609f3d059908aa8;hp=34121dd9f9d651ea5fe45465818dadd562033847;hpb=65aa5d46b240da7b91e57fc74890d8544aa479c3;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 34121dd9f..75783e6ab 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -11,7 +11,6 @@
500
480
True
- MainWin
True
@@ -1023,6 +1022,15 @@
True
+
+
+