X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_set.xsl;h=a8511d65d66596a990fe3d580c48742d99fa82bc;hb=ed5997c069d632999f6e970857cfa74c99f9c050;hp=5b50211df2731a16af83b354ee2b20225dfe3eab;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git
diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl
index 5b50211df..a8511d65d 100644
--- a/helm/style/html_set.xsl
+++ b/helm/style/html_set.xsl
@@ -32,65 +32,145 @@
-http://localhost:8081/getciconly?uri=
+
+
+
-
+
-
+
+
+
+
+
+
+ Æ
+
+
+
+
+ {
+
+ :
+
+ |
+
+ }
+
+
+ {
+
+
+
+
+ }
+
+
+ ,
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
-
+ |
+
+ |
+
+
+
+
+
-
-
- (
-
-
-
-
-
-
-
-
-
-
-
- Î
-
-
-
-
- )
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
- (
-
-
-
-
-
- Î
-
-
- )
-
+
+ (
+
+
+
+
+
+
+
+
+
+
+
+
+ )
-
+
-
+
-
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -102,22 +182,28 @@
- Ï
+
+
+
+
+
+
+
+
+
+
)
- (
-
- Ï
-
- )
+
+
@@ -128,16 +214,16 @@
- Æ
+ Æ
-
+
-
+
{
:
@@ -155,19 +241,6 @@
}
- {
-
- :
-
- |
-
- }
-
-
-
-
-
-
{
@@ -182,263 +255,17 @@
- }
-
-
- {
-
-
-
-
- }
-
-
- ,
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- (
-
-
-
-
-
-
-
-
-
-
-
- Ç
-
-
-
-
- )
-
-
- (
-
-
-
-
-
- Ç
-
-
- )
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- (
-
-
-
-
-
-
-
-
-
-
-
- È
-
-
-
-
- )
-
-
- (
-
-
-
-
-
- È
-
-
- )
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- (
-
-
-
-
-
-
-
-
-
-
-
- Í
-
-
-
-
- )
-
-
- (
-
-
-
-
-
- Í
-
-
- )
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- (
-
-
-
-
-
-
-
-
-
-
-
- Ì
-
-
-
-
- )
-
-
- (
-
-
-
-
-
- Ì
-
-
- )
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- (
-
-
-
-
-
-
-
-
-
-
-
- /
-
-
-
-
- )
-
-
- (
-
-
-
-
-
- /
-
-
- )
-
-
-
+ }
+
+
+
+
+
+
+
+
+
+