X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fhtml_init.xsl;h=d3c9d19926ef18b55196995aa961e34eb8207c4c;hb=3aa2fd56797217a73b59e25bbe961dbc8c08bb2f;hp=06e23deca32262733225d7b0e43a0338e9de37a8;hpb=3d585511751044f308125da7a71d70e29cc6ca60;p=helm.git
diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index 06e23deca..d3c9d1992 100644
--- a/helm/style/html_init.xsl
+++ b/helm/style/html_init.xsl
@@ -62,6 +62,9 @@
+
+
+
@@ -114,6 +117,9 @@
+
+
+
@@ -143,8 +149,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ |m:geq|m:gt|m:plus|m:times|m:divide]">
(
@@ -262,7 +284,7 @@
+ |m:geq|m:gt|m:plus|m:times|m:divide]">