]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48ca480) | patch
Bug fixed: when an axiom was asked, an exception was raised (since the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Feb 2004 14:03:33 +0000 (14:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Feb 2004 14:03:33 +0000 (14:03 +0000)
commit768205685b87c4ae4c062b3bc9fa5e51951b2608
treeea329f5ff7c3bd343ac02f988ddf1fb2d3476dedtree | snapshot
parent48ca4806c50d8a041382d3a26696e0f2edc1d32acommit | diff
Bug fixed: when an axiom was asked, an exception was raised (since the
check for an existent body was skipped).
helm/ocaml/cic_cache/cicCache.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.