X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=fb585f50d262e489c2b65b41178ffcf374e59b61;hb=d7f32114f3806b51c2ee483dcb5a86e08d086a72;hp=d33743edab5de52e6072e9ffca1eb977a9487be7;hpb=b14d3611e67633ffa5b661e38331db4ea83ca429;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index d33743eda..fb585f50d 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1022,6 +1022,15 @@
True
+
+
+
@@ -1598,11 +1655,11 @@
-
+
True
True
True
- Prove (to start)
+ Use lemma (lem)
0
@@ -1614,7 +1671,7 @@
True
True
True
- Discharge (discharge [ ])
+ Discharge (discharge)
0