]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0145665) | patch
added parsing time benchmark
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Apr 2005 12:12:08 +0000 (12:12 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Apr 2005 12:12:08 +0000 (12:12 +0000)
commit927b0dc91ca0369dd029c43ffe9258e17908fa38
tree01f846e06785d2c98bc00f247e4e546faddbd8d6tree | snapshot
parent0145665ab4746d68be09529bf6516eab26a50f72commit | diff
added parsing time benchmark
universes generation counter is now properly reset
added orrible hack to make the parser generate proper universes containig
  the uri
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.