X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fstyle%2Flinks_library.xsl;h=e1ac47a69c4fdca1aaaac035c5e67efac14f480e;hb=fecad5c7499c396c8ff89fe7d353573991db8774;hp=7befa7bac8ec33218a8966e561e40e458e908938;hpb=a6e7b3d67704039e6e6bd45beedfa4f7e170a593;p=helm.git
diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl
index 7befa7bac..e1ac47a69 100644
--- a/helm/style/links_library.xsl
+++ b/helm/style/links_library.xsl
@@ -32,19 +32,33 @@
+
+
+
+
+
+
+
+
-
+
+
-
-
+
+
+
+
+
+
+
+
@@ -90,6 +104,14 @@ step for expanding objects -->
+
@@ -131,15 +153,27 @@ step for expanding objects -->
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
+
@@ -149,9 +183,30 @@ 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.naturalLanguage=¶m.draw_graphURL=¶m.uri_set_queueURL=¶m.UNICODEvsSYMBOL=¶m.annotations=&prop.doctype-public=¶m.doctype-public=¶m.encoding=¶m.media-type=¶m.keys=¶m.getterURL=¶m.processorURL=¶m.interfaceURL=¶m.topurl=&xmluri=
+&prop.media-type=&prop.encoding=
+&prop.media-type=¶m.thmedia-type=¶m.thkeys=¶m.embedkeys=¶m.thinterfaceURL=¶m.thencoding=&prop.encoding=
@@ -159,41 +214,149 @@ step for expanding objects -->
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
- %26param.CICURI%3D
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
+
+ %26param.CICURI%3D
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
+
+ %26param.CICURI%3D
+
-
+
-
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
-
+
- ¶m.CICURI=¶m.type=
+
+ ¶m.CICURI=¶m.type=
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
+ d_c¶m.getterURL=¶m.CICURI=&xmluri=
+