X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_terms.xml;h=11b06b21cab7269c8bd3bd2867ed8bc48b31f1c5;hb=21f2ca1e83578359d9ab6926d466a4645049ee76;hp=ab26aae4872f133d42ef74fcb32f3e389f9b32eb;hpb=ce3086647682ebfa15e9e8abaacd6e817449cea2;p=helm.git
diff --git a/helm/software/matita/help/C/sec_terms.xml b/helm/software/matita/help/C/sec_terms.xml
index ab26aae48..11b06b21c 100644
--- a/helm/software/matita/help/C/sec_terms.xml
+++ b/helm/software/matita/help/C/sec_terms.xml
@@ -188,6 +188,7 @@
&id; [&id;|(&id;[,&term;]⦠:&term;)]â¦
+
@@ -197,6 +198,7 @@
[: &term;]
â &term;]
+
@@ -353,6 +355,7 @@
&match_branch;
::=
&match_pattern; â &term;
+
&match_pattern;