]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c31399) | patch
- renamed Term_not_found exception (useless) with Object_not_found
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jan 2005 16:17:33 +0000 (16:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jan 2005 16:17:33 +0000 (16:17 +0000)
commit502eecdd0e3d63c7e1a647c633b588e738f0afcf
treec83a12b162f8d433f333ad14be0058473c189a4dtree | snapshot
parent9c313992f130290e8b8d97a7b199b9171784cecfcommit | diff
- renamed Term_not_found exception (useless) with Object_not_found
  (now used)
- added getter exception handling. Now, hopefully, we will no longer see
  Pxp_types.At exception, but more meaningful ones (like Object_not_found)
- added in_libary which checks if an object exists (either in cache
  or via getter)
- in_cache: removed old debugging messages
helm/ocaml/cic_proof_checking/cicEnvironment.ml diff | blob | history
helm/ocaml/cic_proof_checking/cicEnvironment.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.