X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fmatita.xml;h=c3754da23fba0d8887022dc5fae163f0b16fdd70;hb=68b4f2490c12139c03760b39895619e63b0f38c9;hp=aa45a806a5f02b05125d3339cdc0c5542d421ff8;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git diff --git a/matita/matita/help/C/matita.xml b/matita/matita/help/C/matita.xml index aa45a806a..c3754da23 100644 --- a/matita/matita/help/C/matita.xml +++ b/matita/matita/help/C/matita.xml @@ -73,8 +73,6 @@ enriched_term"> ]> - - &app; V&appversion; User Manual (rev. &manrevision;)