X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=fb585f50d262e489c2b65b41178ffcf374e59b61;hb=c5bbe2a9b9b914f538ae03526c34f2dea5364b1d;hp=62eefcfd7cf31625053a6ef4c8f71fbec9cd1991;hpb=5c6d665243a131e00b53e80b09250e3e1cb19cff;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 62eefcfd7..fb585f50d 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1022,6 +1022,15 @@
True
+
+
+
@@ -1597,12 +1654,24 @@
0
+
+
+ True
+ True
+ True
+ Use lemma (lem)
+ 0
+
+
+ 1
+
+
True
True
True
- Discharge (discharge [ ])
+ Discharge (discharge)
0