X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_init.xsl;h=26ddf68d2c83eff3f86a8f1481c6c2a57490cf56;hb=e1d232bab1b061d9098fd666ca24bed84b38f99e;hp=d73a48b72c1b4b6fc1821ef1e31bf118cd673fe5;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git
diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index d73a48b72..26ddf68d2 100644
--- a/helm/style/html_init.xsl
+++ b/helm/style/html_init.xsl
@@ -32,8 +32,137 @@
-http://localhost:8081/getciconly?uri=
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ (
+
+
+
+
+
+
+
+
+
+
+
+
+ )
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ -
+
+
+
+
+ (
+
+
+
+
+
+
+
+ -
+
+
+ )
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Ø
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ $
+
+
+ :
+
+ .
+
+
+
+
@@ -93,9 +222,11 @@
-
+
+
+
-
+
@@ -105,18 +236,7 @@
)
- (
-
-
-
-
-
-
-
-
-
-
- )
+
@@ -133,7 +253,9 @@
-
+
+
+
-
@@ -157,7 +279,9 @@
-
+
+
+
-
@@ -167,16 +291,7 @@
)
- (
-
-
-
-
-
- -
-
-
- )
+
@@ -193,9 +308,11 @@
-
+
+
+
- Ø
+ Ø
@@ -215,9 +332,11 @@
-
+
+
+
- $
+ $
:
@@ -235,19 +354,7 @@
-
-
-
-
- $
-
-
- :
-
- .
-
-
-
+