]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6569180) | patch
- implemented CicPushParser which parser CIC objects using Expat
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 May 2005 15:54:14 +0000 (15:54 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 May 2005 15:54:14 +0000 (15:54 +0000)
commit58bc0455c51116f049a7135dfed6e235c271f0d2
tree97d6dade3ecaf65aa0f6366993a139ad72645547tree | snapshot
parent65691806f2e187622f9fcceac0cd66f3f7ed7ba0commit | diff
- implemented CicPushParser which parser CIC objects using Expat
  (currently, old PXP parser have been renamed to CicPxpParser, new one
  has been named CicPushParser and CicParser can includes one of the
  two. It includes CicPushParser per default)
- added mandatory uri parameter to main parsing functions, it is needed
  for creation of universes when Type sorts are encountered
12 files changed:
helm/ocaml/METAS/meta.helm-cic.src diff | blob | history
helm/ocaml/cic/.depend diff | blob | history
helm/ocaml/cic/Makefile diff | blob | history
helm/ocaml/cic/cicParser.ml diff | blob | history
helm/ocaml/cic/cicParser.mli diff | blob | history
helm/ocaml/cic/cicPushParser.ml [new file with mode: 0644] blob
helm/ocaml/cic/cicPushParser.mli [new file with mode: 0644] blob
helm/ocaml/cic/cicPxpParser.ml [new file with mode: 0644] blob
helm/ocaml/cic/cicPxpParser.mli [new file with mode: 0644] blob
helm/ocaml/cic/test.ml [new file with mode: 0644] blob
helm/ocaml/cic/xmlPushParser.ml [new file with mode: 0644] blob
helm/ocaml/cic/xmlPushParser.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.