X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=3fb20945541c0840efb28a7d97e6c286a18e4acf;hb=d000041898471a4337a5e1af0f14ef2434d542b8;hp=e2b0f4e3f4a5cfbb2ab99fb66c3ba41716901f89;hpb=d0b2bceffedce633f496b4e4fcc557be73fbfe1d;p=helm.git

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index e2b0f4e3f..3fb209455 100644
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -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>