X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fhelp%2FC%2Fsec_terms.xml;h=15793c63acb9e71b45b1d8065a64a05623f390ec;hb=4108cbe1ef492c92cc6c7576e9c4148760637eaf;hp=3cae2f84c1866ad13d858e14eb32953176c38c13;hpb=a7e618ad478e4203068668f5fe90e7985a1dc2c5;p=helm.git diff --git a/helm/software/matita/help/C/sec_terms.xml b/helm/software/matita/help/C/sec_terms.xml index 3cae2f84c..15793c63a 100644 --- a/helm/software/matita/help/C/sec_terms.xml +++ b/helm/software/matita/help/C/sec_terms.xml @@ -729,12 +729,28 @@