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

- + + +

@@ -57,8 +63,8 @@