X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=fb585f50d262e489c2b65b41178ffcf374e59b61;hb=8844ee999e40d69795aa73fbeb198997a46fcf04;hp=a14858d9109cdf8381fa57947a395e70a961c8e2;hpb=e189bde1e0a562e8689ff41d55d392431609e749;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index a14858d91..fb585f50d 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1022,6 +1022,15 @@
True
+
+
+
@@ -2350,6 +2407,59 @@
3
2
5
+
+
+ True
+ 0
+ Find:
+
+
+
+
+
+
+
+
+ True
+ 0
+ Replace with:
+
+
+ 1
+ 2
+
+
+
+
+
+
+ True
+ True
+ True
+ True
+ True
+ *
+
+
+ 1
+ 2
+
+
+
+
+
+ True
+ True
+ *
+
+
+ 1
+ 2
+ 1
+ 2
+
+
+
True
@@ -2448,59 +2558,6 @@
5
-
-
- True
- True
- *
-
-
- 1
- 2
- 1
- 2
-
-
-
-
-
- True
- True
- True
- True
- True
- *
-
-
- 1
- 2
-
-
-
-
-
- True
- 0
- Replace with:
-
-
- 1
- 2
-
-
-
-
-
-
- True
- 0
- Find:
-
-
-
-
-
-