]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 140aadd) | patch
we have to pass back lastmeta and not newmeta (newmeta <= lastmeta).
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Sep 2005 15:13:52 +0000 (15:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Sep 2005 15:13:52 +0000 (15:13 +0000)
commit5fbca6bb29378a846f12759d52a5fb9641f63377
tree26af32f25fa8c7ccda27bd7ff2fe174b26554403tree | snapshot
parent140aadd9e28e1f1ec245c9b4370dae72c377b226commit | diff
we have to pass back lastmeta and not newmeta (newmeta <= lastmeta).
just a cut and paste bug...
helm/ocaml/tactics/proofEngineHelpers.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.