From: Claudio Sacerdoti Coen Date: Mon, 15 Oct 2001 06:17:02 +0000 (+0000) Subject: New implementation of the graph stuff: now every hard-coded URL has been X-Git-Tag: v0_1_3~65 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7a682312385646c38eb1c70d78c2dea127bd2dad;p=helm.git New implementation of the graph stuff: now every hard-coded URL has been removed. --- diff --git a/helm/graphs/tools/mk_html.pl b/helm/graphs/tools/mk_html.pl index aa1cec3be..6ca4d0bcf 100755 --- a/helm/graphs/tools/mk_html.pl +++ b/helm/graphs/tools/mk_html.pl @@ -11,10 +11,10 @@ print < diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl index 5611e3a75..e1ac47a69 100644 --- a/helm/style/links_library.xsl +++ b/helm/style/links_library.xsl @@ -38,6 +38,8 @@ + + @@ -202,7 +204,7 @@

?url=

apply?keys=

-&param.naturalLanguage=&param.UNICODEvsSYMBOL=&param.annotations=&prop.doctype-public=&param.doctype-public=&param.encoding=&param.media-type=&param.keys=&param.getterURL=&param.processorURL=&param.interfaceURL=&param.topurl=&xmluri= +&param.naturalLanguage=&param.draw_graphURL=&param.uri_set_queueURL=&param.UNICODEvsSYMBOL=&param.annotations=&prop.doctype-public=&param.doctype-public=&param.encoding=&param.media-type=&param.keys=&param.getterURL=&param.processorURL=&param.interfaceURL=&param.topurl=&xmluri= &prop.media-type=&prop.encoding= &prop.media-type=&param.thmedia-type=&param.thkeys=&param.embedkeys=&param.thinterfaceURL=&param.thencoding=&prop.encoding= diff --git a/helm/style/mk_dep_graph.xsl b/helm/style/mk_dep_graph.xsl index 739bd279b..dee91b3c1 100644 --- a/helm/style/mk_dep_graph.xsl +++ b/helm/style/mk_dep_graph.xsl @@ -38,7 +38,7 @@ - + diff --git a/helm/style/mk_meta_graph.xsl b/helm/style/mk_meta_graph.xsl index 0f6acba1d..44d5a9070 100644 --- a/helm/style/mk_meta_graph.xsl +++ b/helm/style/mk_meta_graph.xsl @@ -38,7 +38,7 @@ - +