X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=8062a8b88bda0a941e5689c52e9bd537f17c9bce;hb=863eeec8251791046ea6ea487286eb1434520725;hp=2ab98e1f2e010570ef63a35a5ee75eeb15efe8a6;hpb=727fa1f56c2e47203da5d232ad48b2fe02e63282;p=helm.git

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 2ab98e1f2..8062a8b88 100644
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -8,8 +8,14 @@
     <!--#include virtual="menubar.shtml" -->
     <h1><span class="h1">User manual</span></h1>
     <p>
-    Please be patient...
+    We are working on the user manual of Matita. The current status is
+    available in our
+    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2F&amp;sc=0">svn repository</a>
+    in the
+    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2Fhelp%2FC%2F&amp;rev=0&amp;sc=0"><kbd>matita/help</kbd> directory</a>
+    (in <a href="http://www.oasis-open.org/docbook/">DocBook</a> format)
     </p>
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->