From: Andrea Asperti Date: Tue, 3 Apr 2012 08:41:08 +0000 (+0000) Subject: Top picture X-Git-Tag: make_still_working~1827 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=da2bbeab1171232a340a92dbc3fcb51a58f42bb4;p=helm.git Top picture --- diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml index a68b48830..4ea191d03 100644 --- a/helm/www/matita/matita.shtml +++ b/helm/www/matita/matita.shtml @@ -10,6 +10,13 @@
+ +
+ Matita + + italian flag + +

Matita (that means pencil in italian) is an experimental,