simplified version of a theorem.

[helm.git] / helm / www / matita / documentation.shtml

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 6586fc714150193964a8f6941020b06eae4f9e83..3fb20945541c0840efb28a7d97e6c286a18e4acf 100644 (file)
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -10,7 +10,7 @@
     <div class="main">
       <h1>Matita Documentation</h1>
 
-      <h2>User Manual</h2>
+      <h2>User Manual<a name="manual"></a></h2>
 
       <p> The Matita User Manual is accessible from Matita itself via the
       <a href="http://developer.gnome.org/arch/doc/help.html">GNOME Help
@@ -30,10 +30,9 @@
       available from our repository, 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">matita/help/C/</a> folder. </p>
 
-      <!--
-      <h2>Papers</h2>
-      <!+-#include virtual="papers.shtml" -+>
-      -->
+
+      <h2>Publications</h2>
+      <!--#include virtual="papers.shtml" -->
 
       <!--#include virtual="bottombar.shtml" -->
     </div>