X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=e820186a3dffe38112311b8ad20260189904fc54;hb=73ecbc6925ed4203516fa1b3d9a770c75062bf0b;hp=e2b0f4e3f4a5cfbb2ab99fb66c3ba41716901f89;hpb=d0b2bceffedce633f496b4e4fcc557be73fbfe1d;p=helm.git
diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index e2b0f4e3f..e820186a3 100644
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -1,9 +1,27 @@
-
-
+
+
Matita - Documentation
+
@@ -30,10 +48,22 @@
available from our repository, in the
matita/help/C/ folder.
-
+ Tutorial
+
+ A not so short tutorial by A.Asperti
+
+ Exercises
+
+ Some commented exercises given at the
+ types summer school 2007
+ by C.Sacerdoti and E.Tassi.
+
+
+ Publications
+
+
+ Large Developments
+