X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fmatita.xml;h=c3ea1da84d0c054e90f658d1ff9d82f2cb374c3f;hb=147217977f79d16369978a31c096f3d3fe26daae;hp=e32262ae44f7c7166b86390c541c42beca30661e;hpb=f6fbde555da84d68da2dc87de8d731f1c6ea4476;p=helm.git diff --git a/helm/software/matita/help/C/matita.xml b/helm/software/matita/help/C/matita.xml index e32262ae4..c3ea1da84 100644 --- a/helm/software/matita/help/C/matita.xml +++ b/helm/software/matita/help/C/matita.xml @@ -8,13 +8,15 @@ - + + + - + Matita"> @@ -24,19 +26,28 @@ url='http://www.mysql.com'>MySQL "> - id"> - uri"> - char"> - uri-step"> - nat"> - term"> - match_pattern"> - args"> - args2"> - sterm"> - intros-spec"> - pattern"> - reduction-kind"> + id"> + uri"> + char"> + uri-step"> + nat"> + term"> + rec_def"> + match_pattern"> + match_branch"> + args"> + args2"> + sterm"> + intros-spec"> + pattern"> + reduction-kind"> + path"> + proof-script"> + proof-step"> + tactic"> + LCF-tactical"> + qstring"> + interpretation"> ]> @@ -67,6 +78,13 @@