]> matita.cs.unibo.it Git - helm.git/commit
snapshot, notably:
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 17 May 2005 22:22:26 +0000 (22:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 17 May 2005 22:22:26 +0000 (22:22 +0000)
commit31d7f139796d6597915cd430baf37552dc26511c
tree9f719c9973446249c028d970b163ee413e9559c6
parent116fba9ef554e81ff483285638c05e8c9c592e65
snapshot, notably:
- solved factorization issues in level 1
- support for multiple grammars in cicNotationParser
helm/ocaml/cic_notation/.depend
helm/ocaml/cic_notation/Makefile
helm/ocaml/cic_notation/cicNotationLexer.ml
helm/ocaml/cic_notation/cicNotationLexer.mli
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/cicNotationParser.mli
helm/ocaml/cic_notation/test_lexer.ml
helm/ocaml/cic_notation/test_parser.ml