<!-- $Id: news.shtml 6484 2006-06-14 08:49:31Z zacchiro $ -->
<div class="news">
- <strong>News:</strong>
- <ul>
+ <div class="newsheader">Novità</div>
+ <ul class="news">
+ <li><span class="date">15 Febbraio 2009</span><br />
+ Matita release 0.575 disponibile per il <a href="download.shtml">download</a>.
+ </li>
+ <li><span class="date">17 Novembre 2008</span><br />
+ Matita release 0.5.5 disponibile per il <a href="download.shtml">download</a>.
+ </li>
+ <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>