]> matita.cs.unibo.it Git - helm.git/commit
First implementation of graphs stuff. Working on my notebook,
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 1 Oct 2001 09:52:16 +0000 (09:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 1 Oct 2001 09:52:16 +0000 (09:52 +0000)
commit62d28bd640cfa5ca3c9f7c82f53d5df060e9f3c8
treeee3b871d6d77abcaf22eb6b69ce7707b1c33e5b2
parentc328b0795b2ae88c3a939d67bd6af829aa3053fa
First implementation of graphs stuff. Working on my notebook,
probably not working on-line, yet.
helm/style/mk_dep_graph.xsl [new file with mode: 0644]
helm/style/mk_meta_graph.xsl [new file with mode: 0644]