]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/matita/news_it.shtml
...
[helm.git] / helm / www / matita / news_it.shtml
index 0fa4c5d86ea12a3e21f7f2d8474bca6646427b42..98f3765fa3d88a61e038952d5b2b13f9625ae6ac 100644 (file)
@@ -1,10 +1,21 @@
 <!-- $Id: news.shtml 6484 2006-06-14 08:49:31Z zacchiro $ -->
 
 <div class="news">
-  <strong>News:</strong>
-  <ul>
+  <div class="newsheader">Novit&agrave;</div>
+  <ul class="news">
+    <li><span class="date">19 Ottobre 2008</span><br />
+    Matita release 0.5.4 disponibile per il <a href="download.shtml">download</a>.
+    </li>
+    <li><span class="date">23 Luglio 2008</span><br />
+    Matita release 0.5.3 disponibile per il <a href="download.shtml">download</a>.
+    </li>
+    <li><span class="date">2 Luglio 2008</span><br />
+    Matita release 0.5.2 disponibile per il <a href="download.shtml">download</a>.
+    </li>
+    <li><span class="date">20 Mar 2007</span><br />
     Introduzione a Matita alla
     <a href="http://typessummerschool07.cs.unibo.it">Types Summer School 2007</a>.
+    </li>
     <li><span class="date">24 Jan 2007</span><br />
     Soluzione per il <a href="http://fling-l.seas.upenn.edu/~plclub/cgi-bin/poplmark/index.php?title=Submitted_solutions">Poplmark challenge</a> (part 1a)
     </li>