X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Findex.html;h=75912b5786b1114e7e82d4acdfbb2ee384d49a27;hb=37d40349c3c82a62a8cbced18545bfd526ebe7ff;hp=fa5b27918151ba7ce493f4eaa8748884a70b9322;hpb=22d6cfb35bc1b7bfe7a407c83e6ba25ac3737ea5;p=helm.git diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html index fa5b27918..75912b578 100644 --- a/matitaB/matita/index.html +++ b/matitaB/matita/index.html @@ -1,8 +1,13 @@ + + + + + @@ -22,8 +27,7 @@ title="Execute the script until the current position of the cursor."> Bottom -

- +

@@ -57,8 +61,8 @@