]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 125a10b) | patch
- cicParser interface changed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Oct 2002 12:35:49 +0000 (12:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 28 Oct 2002 12:35:49 +0000 (12:35 +0000)
commit007cfd0ab0b4ce8687f6b94a5810844b3a4c9729
tree94d0109a983d25a72df0e29c538ecd3638f08e5dtree | snapshot
parent125a10b86b9caf857e49867e2c0d8b101e0b3752commit | diff
- cicParser interface changed
- get_obj now has a better behaviour when an unchecked object is retrieved
helm/ocaml/cic_proof_checking/cicEnvironment.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.