]> matita.cs.unibo.it Git - helm.git/commit
unified grammars and lexers in a single one
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 19 May 2005 08:32:52 +0000 (08:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 19 May 2005 08:32:52 +0000 (08:32 +0000)
commit4a7dd5f16ad7a3ac176c0650580f736ae73f373d
tree23752e12b8a2a5c2b64b2a7c1b466ee7de79fc2e
parent6b8da04f526b3484dc92f61a23a8e61e63422c13
unified grammars and lexers in a single one
helm/ocaml/cic_notation/cicNotationLexer.ml
helm/ocaml/cic_notation/cicNotationLexer.mli
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/test_lexer.ml