X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=e820186a3dffe38112311b8ad20260189904fc54;hb=27bce1d83422883b6415862ec92e75baf4f87186;hp=3fb20945541c0840efb28a7d97e6c286a18e4acf;hpb=3af196f19d0ffa25a294f6f6c1247ac427ad37d1;p=helm.git
diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 3fb209455..e820186a3 100644
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -1,9 +1,27 @@
-
-
+
+
Matita - Documentation
+
@@ -30,10 +48,23 @@
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
+
+