X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Findex.html;h=067189d7382f1418ee04a1031b39b6f11660e1b5;hb=538cee79ad9754ad46015de1fd34a3ad808f08c7;hp=a1099ad7f0dae41044eda2b770ed3307d39520aa;hpb=54f0752c831479f87d61afcdfdafd2a35edb4053;p=helm.git diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html index a1099ad7f..067189d73 100644 --- a/matitaB/matita/index.html +++ b/matitaB/matita/index.html @@ -1,8 +1,10 @@ + + @@ -10,13 +12,19 @@ - + - + -
+
-
+
+

Matita - <<Filename>>

+ +
+ + + -
+
+
+
-
+ 

   

+ 

 

 

 
@@ -86,7 +98,7 @@