X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matitaB%2Fmatita%2Findex.html;h=21ffb0e5c00b486021cee339510970f7b825f4ea;hb=01480f5f9d65c9f9800ea80b3cb7535c695d6a3f;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 @@ + + + + + +