X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fhtml%2Findex.html;fp=matitaB%2Fmatita%2Fhtml%2Findex.html;h=7f921c69cd0f7eae5f1ba469dd2b03cc9b7ee1cc;hb=98827f140349f91cbd546491b233d6d5d3f335c3;hp=21ffb0e5c00b486021cee339510970f7b825f4ea;hpb=71204a8e8d1084c94adfbcf9264f71ab85f3621e;p=helm.git diff --git a/matitaB/matita/html/index.html b/matitaB/matita/html/index.html index 21ffb0e5c..7f921c69c 100644 --- a/matitaB/matita/html/index.html +++ b/matitaB/matita/html/index.html @@ -3,9 +3,14 @@ + + + @@ -14,36 +19,37 @@ - + + -

+ +

Matita - <<Filename>>

Log out

- -


(* script *)


(* script *)

+ +

@@ -92,9 +132,11 @@

- +