X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=d352da2a9a6d713dbc99819d8b68a1e15519a968;hb=4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf;hp=d3cb774084c37549047d25088ed2929e7fb570c0;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index d3cb77408..d352da2a9 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -122,7 +122,7 @@
- P
+ P
:
@@ -139,7 +139,7 @@
- P
+ P
:
@@ -160,7 +160,7 @@
- ®
+ ®
@@ -170,7 +170,7 @@
(
- ®
+ ®
)
@@ -274,7 +274,7 @@
- Þ
+ Þ
@@ -294,7 +294,7 @@
- Þ
+ Þ
@@ -427,7 +427,7 @@
- l
+ l
:
@@ -444,7 +444,7 @@
- l
+ l
: