X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=07999b6e080b33e14b5fd783860359c8e3b5490e;hb=fffff12ad86e979d3a86c43b56ba234d8afa5c2a;hp=b5706d60c29f91a00ce635b5922379261e22c546;hpb=e8c7d0435c1f0de182d341f6e6f8e0d7412eefac;p=helm.git
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index b5706d60c..07999b6e0 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -140,7 +140,7 @@
- "
+ "
:
@@ -148,7 +148,7 @@
- Õ
+ Õ
:
@@ -159,7 +159,7 @@
(
-
+
®
@@ -207,7 +207,7 @@
- Þ
+ Þ
@@ -297,7 +297,7 @@
- l
+ l
:
@@ -326,7 +326,7 @@
- "
+ "
:
@@ -351,7 +351,7 @@
- Õ
+ Õ
:
@@ -384,7 +384,7 @@
-
+
®
@@ -486,7 +486,7 @@
- Þ
+ Þ
@@ -1051,7 +1051,7 @@
- l
+ l
: