X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=e0f6c053d80f7173685b51d65a786a9890aa621a;hb=d62d1b28015b18a515bdf81e2a8f658d158fae5a;hp=7718cf4ccbb7ec0a98623bbc4feaaa17603d7c81;hpb=e4807fdacd5b71bfd2e754f42f520d82fd178386;p=helm.git
diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 7718cf4cc..e0f6c053d 100644
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -1,8 +1,9 @@
+
- Matita home page - documentation
-
+ Matita - Documentation
+
@@ -23,4 +24,3 @@
-