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=89d9ee658e579b276d84cc2f19c8e1b929c6b35e;hpb=ce3086647682ebfa15e9e8abaacd6e817449cea2;p=helm.git diff --git a/helm/software/matita/help/C/matita.xml b/helm/software/matita/help/C/matita.xml index 89d9ee658..c3ea1da84 100644 --- a/helm/software/matita/help/C/matita.xml +++ b/helm/software/matita/help/C/matita.xml @@ -8,13 +8,15 @@ - + + + - + Matita"> @@ -39,6 +41,13 @@ intros-spec"> pattern"> reduction-kind"> + path"> + proof-script"> + proof-step"> + tactic"> + LCF-tactical"> + qstring"> + interpretation"> ]> @@ -69,6 +78,13 @@