X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Findex.html;h=21ffb0e5c00b486021cee339510970f7b825f4ea;hb=74c6905907b0bca229366d52450e2a6982b5b8be;hp=80f49ece416a748bc209e770b5cd0296259f9141;hpb=0e3d8e00433a9a4dd72310c1e889814848a96c10;p=helm.git
diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index 80f49ece4..21ffb0e5c 100644
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -1,17 +1,20 @@
+
+
+
-
+
@@ -55,6 +58,7 @@
+
@@ -110,5 +114,11 @@
+
+
+
+
+
+