X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Flinks_library.xsl;h=fbe301634a01996a8273bdc8fe0abdf1febd12ae;hb=0f23d999f409f3fed9ae6b7d6c45404e9818eab4;hp=f216db609b8795cd74936689b4028ea6e790c1f1;hpb=b2765bc30d2a4662f8bde38650df6f77e3fe4d61;p=helm.git
diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl
index f216db609..fbe301634 100644
--- a/helm/style/links_library.xsl
+++ b/helm/style/links_library.xsl
@@ -48,6 +48,7 @@
+
@@ -194,7 +195,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.UNICODEvsSYMBOL=¶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=
@@ -247,13 +248,50 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
- %26param.CICURI%3D
+ %26param.CICURI%3D
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
- %26param.CICURI%3D
+ %26param.CICURI%3D
+
@@ -261,12 +299,57 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
- ¶m.CICURI=¶m.type=
+ ¶m.CICURI=¶m.type=
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
+ d_c¶m.getterURL=¶m.CICURI=&xmluri=
+
+
+
+