X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.ui;h=6e8481589cba99e67c3f2cebae76016db891f627;hb=6f24874d21e1ba9187599d0817c9ac8185a2464e;hp=731419c1c8c6c4c3aa1257f85f39c29d1ef84dca;hpb=112c67fcdd49e3258a8644a5f299669741d9737d;p=helm.git
diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index 731419c1c..6e8481589 100644
--- a/matita/matita/matita.ui
+++ b/matita/matita/matita.ui
@@ -759,106 +759,7 @@
False
@@ -888,9 +789,11 @@
True
True
+ True
in
+ 717
True
True
False
@@ -915,12 +818,6 @@
-
- button6
- disambiguationErrorsMoreErrors
- disambiguationErrorsCancelButton
- disambiguationErrorsOkButton
-
False