]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c328b07) | patch
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
treeee3b871d6d77abcaf22eb6b69ce7707b1c33e5b2tree | snapshot
parentc328b0795b2ae88c3a939d67bd6af829aa3053facommit | diff
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] blob
helm/style/mk_meta_graph.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.