]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fcde61) | patch
The interpretation function can now return also "Implicit".
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Dec 2002 21:06:04 +0000 (21:06 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Dec 2002 21:06:04 +0000 (21:06 +0000)
commit3ff4c222cac1ed86d6dfc0c622f0cb19c270631d
treef64550fd683a832f481cb0d431d1d1bfc38f90batree | snapshot
parent3fcde61beded58d18775c13906b9741ba4735864commit | diff
The interpretation function can now return also "Implicit".
Useful for incremental ambiguous parsing.
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.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.