]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fcbe05) | patch
avoid collapsing node that does not need to be, i.e.:
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Jul 2006 15:02:52 +0000 (15:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Jul 2006 15:02:52 +0000 (15:02 +0000)
commit55ae9c989557fbb879104962b0db50b19a9cfd2b
treedc2a39ea55cd580f4aae11bc4a76714d5411f056tree | snapshot
parent7fcbe05896613b28b548db1785740b7cbad7ac1fcommit | diff
avoid collapsing node that does not need to be, i.e.:
- nodes with no outgoing edges
- nodes which have not been expanded before
components/metadata/metadataDeps.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.