Performance improvement: let-ins should always be pushed to the context with

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

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index e2b0f4e3f4a5cfbb2ab99fb66c3ba41716901f89..3fb20945541c0840efb28a7d97e6c286a18e4acf 100644 (file)
--- 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>