]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 532cedb) | patch
- ported to new CicParser interface which requires an uri argument to be
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 May 2005 15:55:37 +0000 (15:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 May 2005 15:55:37 +0000 (15:55 +0000)
commit6b3ec8b32b76c40910d7827aae19817d0d579e01
tree12591cac3433730182718dfeef3e0497f00c55d7tree | snapshot
parent532cedb4dfaee23bbddffa70801f6abf604bd436commit | diff
- ported to new CicParser interface which requires an uri argument to be
  passed to parsing functions
- removed orrible hack for sort parsing
helm/ocaml/cic_proof_checking/cicEnvironment.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.