X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Flinks_library.xsl;h=1457169fd34f0d975930ef58b84f3b767c4e481e;hb=d93d3af8237750e61d094bd56f5845423db76495;hp=8f18a4882eafc2bf71a9665e5182df431ab4c7ee;hpb=0706aaeb40d7d17c3f58b49389cb3e7dc55759d8;p=helm.git
diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl
index 8f18a4882..1457169fd 100644
--- a/helm/style/links_library.xsl
+++ b/helm/style/links_library.xsl
@@ -32,20 +32,29 @@
+
+
+
+
+
-
+
-
-
+
+
+
+
+
+
+
@@ -91,6 +100,14 @@ step for expanding objects -->
+
@@ -140,13 +157,13 @@ step for expanding objects -->
-
+
-
+
-
+
@@ -168,11 +185,18 @@ step for expanding objects -->
+
+
+
+
+
+
?url=
?url=
apply?keys=
-¶m.naturalLanguage=¶m.annotations=&prop.media-type=¶m.media-type=&prop.doctype-public=¶m.doctype-public=&prop.encoding=¶m.encoding=¶m.keys=¶m.getterURL=¶m.processorURL=¶m.interfaceURL=&xmluri=
-¶m.thkeys=¶m.thinterfaceURL=
+¶m.naturalLanguage=¶m.annotations=&prop.doctype-public=¶m.doctype-public=¶m.encoding=¶m.media-type=¶m.keys=¶m.getterURL=¶m.processorURL=¶m.interfaceURL=&xmluri=
+&prop.media-type=&prop.encoding=
+&prop.media-type=¶m.thmedia-type=¶m.thkeys=¶m.embedkeys=¶m.thinterfaceURL=¶m.thencoding=&prop.encoding=
@@ -180,15 +204,21 @@ step for expanding objects -->
+
+
+
+
+
+
-
+
-
+
@@ -200,28 +230,67 @@ step for expanding objects -->
+
-
+
+
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
- %26param.CICURI%3D
+ %26param.CICURI%3D
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
- %26param.CICURI%3D
-
+ %26param.CICURI%3D
+
@@ -229,14 +298,29 @@ step for expanding objects -->
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
-
+
- ¶m.CICURI=¶m.type=
+
+ ¶m.CICURI=¶m.type=
+
-
-
-