X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontent_to_html.xsl;h=9de7d48962cfe82ab3522e65dfd56f9db15cd66b;hb=fb158d51c621e55962a6139d03cd1678cfb2e8f1;hp=8da220b070e3d0e810c1cb1b8225adcfb40eaab3;hpb=3fd609889e80b83cf1f3419dcfa3fc34b41a86ad;p=helm.git
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 8da220b07..9de7d4896 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -32,26 +32,28 @@
-
-
-
-getciconly?uri=
-
-/apply?key=C1&key=HC2¶m.getterURL=¶m.processorURL=&xmluri=
-
-
-
-
+
+
+
+
+
+
+
+
@@ -118,10 +120,7 @@
-
-
-
-
+
@@ -267,16 +266,16 @@
From
we get
- (
+ (
- )
+ )
and
- (
+ (
- )
+ )
- ;
+ ;
hence
@@ -318,7 +317,7 @@
:
+ select="$current_indent + 5 + 2*string-length(m:bvar/m:ci)"/>
@@ -343,7 +342,7 @@
:
+ select="$current_indent + 5 + 2*string-length(m:bvar/m:ci)"/>
@@ -609,9 +608,9 @@
- (
+ (
- )
+ )
@@ -674,9 +673,9 @@
- (
+ (
- )
+ )
@@ -684,9 +683,9 @@
- (
+ (
- )
+ )
@@ -722,7 +721,7 @@
- *
+ *
@@ -730,7 +729,7 @@
- *
+ *
@@ -756,16 +755,16 @@
Let
- :
+ :
such that
- (
+ (
- )
+ )
@@ -798,7 +797,7 @@
:
+ select="$current_indent + 4 + 2*string-length(m:bvar/m:ci)"/>
@@ -818,10 +817,7 @@
-
-
-
-
+
@@ -1002,10 +998,10 @@ PROOF:
|
-
+
:
-
+