]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d45449c) | patch
Updated to use the new parser that creates (stacks of) existential variables
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 Jul 2002 15:55:31 +0000 (15:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 Jul 2002 15:55:31 +0000 (15:55 +0000)
commitfaf328f5779a7281c9c0588680b1b7bb89ae7640
treeb2f0e9391bd8c929a4120c5cdab7632c417130d1tree | snapshot
parentd45449ce9166ba5c323dfafcc653bc301d6c7a54commit | diff
Updated to use the new parser that creates (stacks of) existential variables
when an implicit arguments is found.
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.