X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fnews_it.shtml;h=33f473db9706ce1ba3403acb7511bf81164b609a;hb=8ca065f520dec7152df8e094028119515810b434;hp=f1daa7df5ce5957efcad1499941d534b96d0daea;hpb=24954699430cd35c4486b1f14ab8b51cffb2cf05;p=helm.git
diff --git a/helm/www/matita/news_it.shtml b/helm/www/matita/news_it.shtml
deleted file mode 100644
index f1daa7df5..000000000
--- a/helm/www/matita/news_it.shtml
+++ /dev/null
@@ -1,42 +0,0 @@
-
-
-
-
-
- - 17 Novembre 2008
- Matita release 0.5.5 disponibile per il download.
-
- - 19 Ottobre 2008
- Matita release 0.5.4 disponibile per il download.
-
- - 23 Luglio 2008
- Matita release 0.5.3 disponibile per il download.
-
- - 2 Luglio 2008
- Matita release 0.5.2 disponibile per il download.
-
- - 20 Mar 2007
- Introduzione a Matita alla
- Types Summer School 2007.
-
- - 24 Jan 2007
- Soluzione per il Poplmark challenge (part 1a)
-
- - 1 Dic 2006
-
- Presentazione di Matita all'Unione Matematica Italiana.
-
- - 21 Ago 2006
- Matita-prover si confronta con
- TPTP.
-
- - 18 Lug 2006
- Gli scripts della libreria sono
- on-line
-
- - 14 Giu 2006
- mailing lists per Matita
-
-
-
-
diff --git a/helm/www/matita/news_it.shtml b/helm/www/matita/news_it.shtml
new file mode 120000
index 000000000..33f473db9
--- /dev/null
+++ b/helm/www/matita/news_it.shtml
@@ -0,0 +1 @@
+news.shtml
\ No newline at end of file