local modifications

diff --git a/helm/www/matita/docs/manual/figures/developments.png b/helm/www/matita/docs/manual/figures/developments.png
new file mode 100644 (file)
index 0000000..f724589
Binary files /dev/null and b/helm/www/matita/docs/manual/figures/developments.png differ

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index e2b0f4e3f4a5cfbb2ab99fb66c3ba41716901f89..084df460f50d2d8da58128fcd29243c1f3a813ad 100644 (file)
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -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" -+>

diff --git a/helm/www/matita/images/matita-library.png b/helm/www/matita/images/matita-library.png
new file mode 100644 (file)
index 0000000..0add006
Binary files /dev/null and b/helm/www/matita/images/matita-library.png differ

diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml
index 4a53073afe9e171fe3357850c60ecd188fc446c4..845367ad1efebcd8482bcc3b79ffa24d30232e9f 100644 (file)
--- a/helm/www/matita/matita.shtml
+++ b/helm/www/matita/matita.shtml
@@ -96,6 +96,7 @@
        <li><a href=http://www.cs.chalmers.se/Cs/Research/Logic/Types/>
          Types Project</a>
        <li><a href=http://www.mctafi.math.unipd.it/>McTafi</a></li>
+       <li><a href=http://dama.cs.unibo.it/>Dama</a></li>
       </ul>
       </p>
 

diff --git a/helm/www/matita/matita_it.shtml b/helm/www/matita/matita_it.shtml
index 379be3d530d131aac01cf97adc2ed4bd751cba3f..eeafd975ebb01632c5d9a06a0738992d7674eeb9 100644 (file)
--- a/helm/www/matita/matita_it.shtml
+++ b/helm/www/matita/matita_it.shtml
@@ -101,6 +101,7 @@
        <li><a href=http://www.cs.chalmers.se/Cs/Research/Logic/Types/>
          Types Project</a>
        <li><a href=http://www.mctafi.math.unipd.it/>McTafi</a></li>
+       <li><a href=http://dama.cs.unibo.it/>Dama</a></li>
       </ul>
       </p>
       <!--#include virtual="bottombar.shtml" -->

diff --git a/helm/www/matita/news.shtml b/helm/www/matita/news.shtml
index eeab8cfac8b9e646cbd2adecf97927c36c2fb126..306a6d17af5eb183992695e1bbacd9d1d930cbcf 100644 (file)
--- a/helm/www/matita/news.shtml
+++ b/helm/www/matita/news.shtml
@@ -3,6 +3,18 @@
 <div class="news">
   <strong>News:</strong>
   <ul>
+    <li><span class="date">20 Mar 2007</span><br />
+    A course on Matita at the 
+    <a href="http://typessummerschool07.cs.unibo.it">Types Summer School 2007</a>.
+    </li>
+    <li><span class="date">24 Jan 2007</span><br />
+    Solution for the <a href="http://fling-l.seas.upenn.edu/~plclub/cgi-bin/poplmark/index.php?title=Submitted_solutions">Poplmark challenge</a> (part 1a) 
+    </li>
+    <li><span class="date">1 Dic 2006</span><br />
+    <a href="http://www.ciim26.unimore.it/comunicazioni.html">
+    Presentation</a> of Matita to the Italian Association for
+    Mathematics.
+    </li>
     <li> <span class="date">21 Aug 2006</span><br />
     Matita-prover on <a href="http://www.cs.miami.edu/~tptp">TPTP</a>.
     </li>

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index a53015662fe277ba0b2ce1c313f134cbaba1f9e3..5590abf59a08e2eee9f4d4d8e11eaff87abc761f 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -28,7 +28,7 @@ div.news {
   top: 25px;
   left: 845px;
   font-size: 10pt;
-  width: 105px;
+  width: 150px;
   background: #eaeaea;
   padding: 5px;
 }