]> matita.cs.unibo.it Git - helm.git/commit
ranking function fixed: when graphs are collapsed one step links are not updated...
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 19 Apr 2008 16:27:28 +0000 (16:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 19 Apr 2008 16:27:28 +0000 (16:27 +0000)
commit2ed731db1107673f11de9b56a376bee41b4cf0be
tree04a1c89aa848562d6413cb23100b93be3cd1d9e6
parent9b9f415916ff4842c69f4918064d5dd64031df63
ranking function fixed: when graphs are collapsed one step links are not updated (nor serialized to disk)
thus you can not rely on them, just use the closures!
helm/software/components/cic/cicUniv.ml