X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_init.xsl;h=46fc61b249fa71842a62649809165a69ed6896c4;hb=e23bc37c0a5e552395e499e7b8cee8d610b8e4f4;hp=06e23deca32262733225d7b0e43a0338e9de37a8;hpb=19681f7b0c71fbb8c9e3442c0880533731094046;p=helm.git
diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index 06e23deca..46fc61b24 100644
--- a/helm/style/html_init.xsl
+++ b/helm/style/html_init.xsl
@@ -62,6 +62,9 @@
+
+
+
@@ -114,6 +117,9 @@
+
+
+
@@ -143,8 +149,42 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ |m:geq|m:gt|m:plus|m:times|m:divide]">
(
@@ -262,7 +302,7 @@
+ |m:geq|m:gt|m:plus|m:times|m:divide]">