X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fhtml%2Findex.html;h=65a6ca6b9db9c09eeb20b6bbb9cd6f40b05151c6;hb=456a157eba1428fd4ec02713e60ac2b653a0e0b0;hp=21ffb0e5c00b486021cee339510970f7b825f4ea;hpb=e499c2e36d8a39c4749b8e0e34438b49532d15b8;p=helm.git diff --git a/matitaB/matita/html/index.html b/matitaB/matita/html/index.html index 21ffb0e5c..65a6ca6b9 100644 --- a/matitaB/matita/html/index.html +++ b/matitaB/matita/html/index.html @@ -3,9 +3,14 @@ + + + @@ -14,36 +19,37 @@ - + + -
+ +
-

Matita - <<Filename>>

+

<<Filename>>

-
-
- + Advance - Retract - Top - Play - Bottom
-
- +
+
- +--> +

+ New + + Open + + Save + + Save as + + Upload + + Commit + + Update + + Log + + Delete hyperlinks +

-

+

-
-
+
- 
(* script *)
+ 
(* script *)
-
+ +
@@ -92,9 +132,11 @@
- +
+
+

+
+