local modifications

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

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 6586fc714150193964a8f6941020b06eae4f9e83..084df460f50d2d8da58128fcd29243c1f3a813ad 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,6 +30,21 @@
       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>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" -+>