]> matita.cs.unibo.it Git - helm.git/commit
New implementation of the graph stuff: now every hard-coded URL has been
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 15 Oct 2001 06:17:02 +0000 (06:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 15 Oct 2001 06:17:02 +0000 (06:17 +0000)
commit7a682312385646c38eb1c70d78c2dea127bd2dad
treed02dbc385aefa091e09f9d5a4d93a59aaf596bc5
parent5efc24038e24e64e39ec33d4c8f09e1fc6948366
New implementation of the graph stuff: now every hard-coded URL has been
removed.
helm/graphs/tools/mk_html.pl
helm/style/links_library.xsl
helm/style/mk_dep_graph.xsl
helm/style/mk_meta_graph.xsl