X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fsec_intro.xml;h=a3dbc51660b9e6d4a6a0eef1dd9c41b9b4ef26a3;hb=4cdf45f08cd95641a094312ddc558320b874fa16;hp=5510c8eef810b2532374cc8b62bfdaf673f01af8;hpb=f89e30b4f792260fe73c013aa18559bb2b85f3e4;p=helm.git diff --git a/matita/help/C/sec_intro.xml b/matita/help/C/sec_intro.xml index 5510c8eef..a3dbc5166 100644 --- a/matita/help/C/sec_intro.xml +++ b/matita/help/C/sec_intro.xml @@ -1,15 +1,15 @@ - + Introduction - + What is Matita? Matita is a proof assistant for ... - - + +