X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=3fb20945541c0840efb28a7d97e6c286a18e4acf;hb=3928102abd95778d390e2790fdb7ac2ae3567813;hp=e2b0f4e3f4a5cfbb2ab99fb66c3ba41716901f89;hpb=d0b2bceffedce633f496b4e4fcc557be73fbfe1d;p=helm.git diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml index e2b0f4e3f..3fb209455 100644 --- a/helm/www/matita/documentation.shtml +++ b/helm/www/matita/documentation.shtml @@ -30,10 +30,9 @@ available from our repository, in the matita/help/C/ folder.
- + +