]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 738e11d) | patch
New CicTextualParser: it now returns (approximately) a couple
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Nov 2002 09:54:44 +0000 (09:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Nov 2002 09:54:44 +0000 (09:54 +0000)
commit71b08b1ea99893b3c5e2d91fc26e1ab7330fd33d
tree06f7aa7a571f0fb9a153940784eda1e1dcd4ecc9tree | snapshot
parent738e11d2c040e9df37a9206e61db2b6918171612commit | diff
New CicTextualParser: it now returns (approximately) a couple
list of free names * function from an interpretation to a Cic term
where an interpretation is a function from string (ids) to uris.
helm/ocaml/cic_textual_parser/cicTextualParser.mly diff | blob | history
helm/ocaml/cic_textual_parser/cicTextualParser0.ml diff | blob | history
helm/ocaml/cic_textual_parser/cicTextualParserContext.ml diff | blob | history
helm/ocaml/cic_textual_parser/cicTextualParserContext.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.