X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=66aab892c8b7d80b4418928b2ff5497a949445f3;hb=0c8cad22457218f78c30de239e49187968251613;hp=0e8f63ae4f2613194344baafa9de544a70dc0901;hpb=9d356a6f202a77fb1dd67b57b1c86ac3ebe1382b;p=helm.git
diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 0e8f63ae4..66aab892c 100644
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -1,6 +1,6 @@
-
-
+
+
Matita - Documentation
@@ -39,7 +39,7 @@
XHTML format:
@@ -48,9 +48,22 @@
available from our repository, in the
matita/help/C/ folder.
- Tutorial
+ Tutorials
+
+ A not so short tutorial by
+ A.Asperti, discussing some basic notions of number theory, for
+ the stable version of Matita.
+
+ A tutorial by E.Tassi based on
+ the formalization of the paper "Between formal topology and game theory:
+ an explicit solution for the conditions for an inductive generation of
+ formal topologies" by S.Berardi and S.Valentini. The tutorial describes
+ the ng version of Matita (not officially released yet, cohexisting with
+ the stable system in version 0.5.8). If some characters are not displayed
+ correctly (i.e. you are not using firefox) you may try the
+ pdf version.
+
- A not so short tutorial by A.Asperti
Exercises