X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=533cf22998ed1cceaa23e55e7f89644e601a0a00;hb=e1d232bab1b061d9098fd666ca24bed84b38f99e;hp=30d7009cf684e069a799f7d8caef7fec73513046;hpb=315b5ad70270b2b5b151a512501b30b50b6c4916;p=helm.git
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 30d7009cf..533cf2299 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -35,6 +35,7 @@
+
getciconly?uri=
@@ -55,8 +56,18 @@
-
-
+
+
+
+
+
+
+
+
@@ -274,16 +285,16 @@
From
we get
- (
+ (
- )
+ )
and
- (
+ (
- )
+ )
- ;
+ ;
hence
@@ -616,9 +627,9 @@
- (
+ (
- )
+ )
@@ -681,9 +692,9 @@
- (
+ (
- )
+ )
@@ -691,9 +702,9 @@
- (
+ (
- )
+ )
@@ -729,7 +740,7 @@
- *
+ *
@@ -737,7 +748,7 @@
- *
+ *
@@ -763,16 +774,16 @@
Let
- :
+ :
such that
- (
+ (
- )
+ )