X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Flinks_library.xsl;h=22e0ac48d779da37cd0f5b7e83c92d32836005e3;hb=b1fb6b8e1767d775bc452303629e95941d142bea;hp=5a6a1ba4fb1897c524ab488be93f4bf1d98a5723;hpb=7e05d47aaef89c0b43f183bd6d7d84907d786279;p=helm.git
diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl
index 5a6a1ba4f..22e0ac48d 100644
--- a/helm/style/links_library.xsl
+++ b/helm/style/links_library.xsl
@@ -32,22 +32,35 @@
+
+
+
+
-
+
+
+
+
+
+
+
+
-
-
+
+
+
+
+
+
+
-getxml?uri=
-
@@ -68,6 +81,38 @@ step for expanding objects -->
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -79,6 +124,12 @@ step for expanding objects -->
+
+
+ getxml?uri=
+
+
+
@@ -97,22 +148,216 @@ step for expanding objects -->
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-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=&xmluri=
+?url=
+?url=
+apply?keys=
+¶m.naturalLanguage=¶m.proofcheckerURL=¶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=
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
+
+ %26param.CICURI%3D
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
+
+ %26param.CICURI%3D
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ %23
+
+
+
+
+
+
+
+ ¶m.CICURI=¶m.type=
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+ %23
+
-
+ d_c¶m.getterURL=¶m.CICURI=&xmluri=
+