]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6c8879) | patch
we fix recursive object reference with the correct height
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 Jun 2009 18:28:17 +0000 (18:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 Jun 2009 18:28:17 +0000 (18:28 +0000)
commit990450048b555a5d850d3f43727c6d830713e3aa
tree9c9b0c57b16e036aa144e2f19c4c84f38b1411cetree | snapshot
parentf6c887944d48d718f372a57f1609f3d059908aa8commit | diff
we fix recursive object reference with the correct height
just before adding it to the library
helm/software/components/grafite_engine/grafiteEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.