]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e5050c8) | patch
added the orrible hack to the parser that is needed to call CicUniv.fresh() properly
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Apr 2005 18:52:08 +0000 (18:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 29 Apr 2005 18:52:08 +0000 (18:52 +0000)
commit5d03c83fde2cb3b65e76ea66cd11b4a3cb38192f
tree86d8f433e226d4a0e139bec023cac03f8b41ac07tree | snapshot
parente5050c8f2f36a4d697e3a7c5b24ecc1d5dc73f48commit | diff
added the orrible hack to the parser that is needed to call CicUniv.fresh() properly
helm/ocaml/cic/cicParser3.mli diff | blob | history
helm/ocaml/cic/cicUniv.ml diff | blob | history
helm/ocaml/cic/cicUniv.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.