X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Flinks_library.xsl;h=e1ac47a69c4fdca1aaaac035c5e67efac14f480e;hb=5a8a7dd777c55a9907699a709760b0616b571919;hp=1457169fd34f0d975930ef58b84f3b767c4e481e;hpb=d93d3af8237750e61d094bd56f5845423db76495;p=helm.git
diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl
index 1457169fd..e1ac47a69 100644
--- a/helm/style/links_library.xsl
+++ b/helm/style/links_library.xsl
@@ -38,7 +38,10 @@
+
+
+
@@ -48,6 +51,7 @@
+
@@ -149,6 +153,12 @@
+
+
+
+
+
+
@@ -194,7 +204,7 @@
?url=
?url=
apply?keys=
-¶m.naturalLanguage=¶m.annotations=&prop.doctype-public=¶m.doctype-public=¶m.encoding=¶m.media-type=¶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=
@@ -299,6 +309,7 @@
+
@@ -319,7 +330,32 @@
- ¶m.CICURI=¶m.type=
+ ¶m.CICURI=¶m.type=
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
+ d_c¶m.getterURL=¶m.CICURI=&xmluri=