X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Flinks_library.xsl;fp=helm%2Fstyle%2Flinks_library.xsl;h=c58425a9eb230af033930ecb86adf7f7d844d59b;hb=8eba2047aac22a3d68000fcf2213238fd4032d36;hp=fbe301634a01996a8273bdc8fe0abdf1febd12ae;hpb=2306f909a07446484846c88330e0aa8490d8ac1b;p=helm.git
diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl
index fbe301634..c58425a9e 100644
--- a/helm/style/links_library.xsl
+++ b/helm/style/links_library.xsl
@@ -39,6 +39,7 @@
+
@@ -150,6 +151,12 @@
+
+
+
+
+
+
@@ -195,7 +202,7 @@
?url=
?url=
apply?keys=
-¶m.naturalLanguage=¶m.UNICODEvsSYMBOL=¶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.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=