X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdocumentation.shtml;h=3fb20945541c0840efb28a7d97e6c286a18e4acf;hb=1f352f96a06605dcb2b3dd2a229c971ef2dc28e3;hp=084df460f50d2d8da58128fcd29243c1f3a813ad;hpb=4c042b286cd7d2559738569b96769dd0263a9f6d;p=helm.git

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 084df460f..3fb209455 100644
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -31,24 +31,8 @@
       <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>Publications<a name="manual"></a></h2>
-      <ul>
-	<li>A.Asperti, C.Sacerdoti Coen, E.Tassi, S.Zacchiroli.<br>
-	    <a href="PAPERS/matita_types.ps.gz">
-	      Crafting a Proof Assistant.</a>
-	    Submitted for publication to the TYPES06 Post Proceedings.
-	</li>
-	<li>A.Asperti, C.Sacerdoti Coen, E.Tassi, S.Zacchiroli.<br>
-	    <a href="PAPERS/matita.ps.gz">
-	      User Interaction with the Matita Proof Assistant.</a>
-	    To appear in the Journal of Automated Reasoning, 
-	    Special Issue on User Interfaces for Theorem Proving.
-	</li>
-      </ul>
-      <!--
-      <h2>Papers</h2>
-      <!+-#include virtual="papers.shtml" -+>
-      -->
+      <h2>Publications</h2>
+      <!--#include virtual="papers.shtml" -->
 
       <!--#include virtual="bottombar.shtml" -->
     </div>