]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 81a6323) | patch
use get_obj instead of get_cooked_obj in order to retrieve params for
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 24 Nov 2004 13:17:39 +0000 (13:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 24 Nov 2004 13:17:39 +0000 (13:17 +0000)
commita0b3f70f4dee78cc07baf2e78673b8b7cf573995
treec6c3331cbd4ab5070e7fa470aafaae6ef5597ee3tree | snapshot
parent81a63235c649302a1a4691ba37e30282c9c0ef5acommit | diff
use get_obj instead of get_cooked_obj in order to retrieve params for
unchecked objects (fixes "not found" bug when trust in the environment
is false)
helm/ocaml/cic_proof_checking/cicSubstitution.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.