]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ded933c) | patch
Critical bug fixed: the get_cooked_obj was called on an object that was not
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Sep 2005 12:42:57 +0000 (12:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Sep 2005 12:42:57 +0000 (12:42 +0000)
commitf951f6a1c14f33b624789bcf60e80d8307b461d3
treea5e44b28bc305ac7ae8a79844e262050c99e6b12tree | snapshot
parentded933cd70fc158d915d6aff3bfc6f775fe09333commit | diff
Critical bug fixed: the get_cooked_obj was called on an object that was not
in cache. The bug did not manifest when the environment was trusted.
helm/matita/matita.txt diff | blob | history
helm/ocaml/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.