X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=2fb4aa533ea8af111419559c38834208cf486cd5;hb=7e9ee837f75f38bf01240cdc03dd51c764c2665f;hp=dc6d6d7a83c9d1ec4701164ce0999d1c47f5485b;hpb=a38dce333847f6a1eaed563f7a2260e1cfc1ff2e;p=helm.git
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index dc6d6d7a8..2fb4aa533 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -325,7 +325,7 @@
(
- :>
+ :
)
@@ -346,14 +346,14 @@
CASE
OF
-
+
|
-
+
@@ -363,6 +363,14 @@
select="./*[1]"/>
+
+
+
+ {
+ trjsh
+
+ }
+
FIX
@@ -412,6 +420,10 @@
proves
+
+ which is equivalent to
+
+
@@ -928,7 +940,7 @@
OF
-
+