]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97de13c) | patch
New architecture for the environment.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Dec 2001 10:09:45 +0000 (10:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Dec 2001 10:09:45 +0000 (10:09 +0000)
commit4fcebf318b866ce041b31d7ac4ddb0fdb29d098d
treed40983c05265b92de27237c98a3b24e833b2e413tree | snapshot
parent97de13c52f24e7e7e7d0a9a43116750739d056f1commit | diff
New architecture for the environment.
The final goal is to have a reentrant, session-aware environment that
also behaves as a true cache.
helm/ocaml/cic_proof_checking/cicEnvironment.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.