]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 493b41e) | patch
New graph implementation: the visit is no more pruned on a level base, but
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Oct 2001 11:55:24 +0000 (11:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Oct 2001 11:55:24 +0000 (11:55 +0000)
commit1ffac96ddcc32469442f1b6d483fd9ed862107e8
treed37c18311ab5da6c4317fcd47f0216122f49c0eatree | snapshot
parent493b41ea94e84d73aa45291dff63c0591f92eedbcommit | diff
New graph implementation: the visit is no more pruned on a level base, but
when the number of the nodes in the graph exceeds a fixed limit.
helm/style/mk_dep_graph.xsl diff | blob | history
helm/style/mk_meta_graph.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.