X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fmatita.xml;h=45e993b0538b7455695db8113bf9eba14b5e949c;hb=9c4f15d74f5de01494a587322edc66b85f6d2f4e;hp=ab08a6f9c5354ac466f460a55d20119db965460e;hpb=2462b1e4da42c76932f52de9b37aa96cc9a5e4e0;p=helm.git diff --git a/matita/help/C/matita.xml b/matita/help/C/matita.xml index ab08a6f9c..45e993b05 100644 --- a/matita/help/C/matita.xml +++ b/matita/help/C/matita.xml @@ -149,7 +149,7 @@ - + License &license;