]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c7db63) | patch
added invalidate to clear the cache and ease the comparison with the new kernel
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 16:30:11 +0000 (16:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 16:30:11 +0000 (16:30 +0000)
commit92ff0c811f55b37004e2ee45dff0859c31857128
tree6c053125534e39ca0e9e1fea75b7c433765ec0f3tree | snapshot
parent3c7db631a1cbb1d91f3109431c046ef78c3d89b9commit | diff
added invalidate to clear the cache and ease the comparison with the new kernel
helm/software/components/cic_proof_checking/cicEnvironment.ml diff | blob | history
helm/software/components/cic_proof_checking/cicEnvironment.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.