]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b9f415) | patch
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
tree04a1c89aa848562d6413cb23100b93be3cd1d9e6tree | snapshot
parent9b9f415916ff4842c69f4918064d5dd64031df63commit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.