X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.ui;h=adc72164d48e4e562402f70c23c2aaa54a3c667b;hb=74223db3fc45caccb3cfac80971b29cb0613da28;hp=731419c1c8c6c4c3aa1257f85f39c29d1ef84dca;hpb=112c67fcdd49e3258a8644a5f299669741d9737d;p=helm.git
diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index 731419c1c..adc72164d 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
@@ -2659,6 +2556,7 @@
400
True
True
+ True
True
@@ -2680,6 +2578,7 @@
True
False
+ True
True
@@ -2705,7 +2604,7 @@
- False
+ True
True
2