X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Flinks_library.xsl;h=22e0ac48d779da37cd0f5b7e83c92d32836005e3;hb=c5c48f3d3515f1dd95657245922ec1f340e17f70;hp=0f6613c28ee30dde5181cb72a44f9b1288f8228b;hpb=d42f916052e67304e8b46e537b9a4bbaf2c2607e;p=helm.git
diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl
index 0f6613c28..22e0ac48d 100644
--- a/helm/style/links_library.xsl
+++ b/helm/style/links_library.xsl
@@ -38,6 +38,9 @@
+
+
+
@@ -202,7 +205,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=¶m.topurl=&xmluri=
+¶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=
@@ -358,6 +361,3 @@
-
-
-