X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fnews_it.shtml;h=33f473db9706ce1ba3403acb7511bf81164b609a;hb=44f2a287d8de9646bc2bff86b00020648bb1029c;hp=f8055873566c331484faf189dec27a23152d2218;hpb=52e5fe4592c61448edfd406a396c9fa9ab7e2e46;p=helm.git
diff --git a/helm/www/matita/news_it.shtml b/helm/www/matita/news_it.shtml
deleted file mode 100644
index f80558735..000000000
--- a/helm/www/matita/news_it.shtml
+++ /dev/null
@@ -1,36 +0,0 @@
-
-
-
-
-
- - 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