]> matita.cs.unibo.it Git - helm.git/commit
adapted to optional comment lexer interface
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 16:06:36 +0000 (16:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Feb 2005 16:06:36 +0000 (16:06 +0000)
commit335acfd6f24de834bec623fdf55ad153b142d087
tree58eddab5cd5b2d8598769d7c127647c4b0085e3c
parent81ad82070892b2f2740111d97b2d72394f969328
adapted to optional comment lexer interface
helm/ocaml/cic_disambiguation/test_lexer.ml