From da2bbeab1171232a340a92dbc3fcb51a58f42bb4 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Tue, 3 Apr 2012 08:41:08 +0000 Subject: [PATCH] Top picture --- helm/www/matita/matita.shtml | 7 +++++++ 1 file changed, 7 insertions(+) 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, -- 2.39.2