X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fmatita.xml;h=7f259909b70e2f612044b4e42ad265f112561ba8;hb=7e374b23b0990d58217467b73e518e59781cb67d;hp=05e0a82123a4a7dd9c172aea723591878d8bdece;hpb=833a6e8739c3abb6addb2426631f19c795e00bec;p=helm.git
diff --git a/helm/software/matita/help/C/matita.xml b/helm/software/matita/help/C/matita.xml
index 05e0a8212..7f259909b 100644
--- a/helm/software/matita/help/C/matita.xml
+++ b/helm/software/matita/help/C/matita.xml
@@ -4,9 +4,13 @@
+
+
+
+
@@ -17,6 +21,21 @@
TODO">
MySQL ">
+
+
+ id">
+ uri">
+ char">
+ uri-step">
+ nat">
+ term">
+ match_pattern">
+ args">
+ args2">
+ sterm">
+ intros-spec">
+ pattern">
+ reduction-kind">
]>
@@ -76,7 +95,14 @@
zacchiro@cs.unibo.it
-
+
+
+ Ferruccio
+ Guidi
+
+ fguidi@cs.unibo.it
+
+