X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fnuprl_stylesheets%2Fnuprl_links_library.xsl;h=29426a3c37fb5761809d506eed3a3c2eac763d85;hb=0afd42c06451194ce1849abf57bf56fe7ec6ae88;hp=d023d774f925cc11a90c98c232c751e1243f1542;hpb=734a6fc5d8da4896c646d1dd7a17afaf0dd33224;p=helm.git
diff --git a/helm/nuprl_stylesheets/nuprl_links_library.xsl b/helm/nuprl_stylesheets/nuprl_links_library.xsl
index d023d774f..29426a3c3 100644
--- a/helm/nuprl_stylesheets/nuprl_links_library.xsl
+++ b/helm/nuprl_stylesheets/nuprl_links_library.xsl
@@ -277,7 +277,9 @@
- http://mowgli.cs.unibo.it:58080/apply?keys=NT,NC2,NL&prop.doctype-public=&prop.media-type=text/html¶m.doctype-public=¶m.encoding=¶m.media-type=text/html¶m.CICURI=cic:/CICURI.con¶m.naturalLanguage=yes¶m.annotations=no¶m.topurl=http://helm.cs.unibo.it/helm¶m.UNICODEvsSYMBOL=SYMBOL&xmluri=
+ http://mowgli.cs.unibo.it:58080/apply?keys=NT,NC2,NL&prop.doctype-public=&prop.media-type=text/html¶m.doctype-public=¶m.encoding=¶m.media-type=text/html¶m.CICURI=cic:/CICURI.con¶m.naturalLanguage=yes¶m.annotations=no¶m.topurl=http://helm.cs.unibo.it/helm¶m.UNICODEvsSYMBOL=
+
+ &xmluri=