]> matita.cs.unibo.it Git - helm.git/commit
snapshot
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 5 Jul 2005 16:03:13 +0000 (16:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 5 Jul 2005 16:03:13 +0000 (16:03 +0000)
commit3d63cb9ed38f05c679fc3284a5b3bb4d92e52296
tree0ffafec3d7f973ca15cbd792041c6f9a461a3042
parent249d79bebff886846fbab65cc079623d90684baf
snapshot
- bugfixes here and there ...
- precedence still need to be fixed
12 files changed:
helm/ocaml/cic_notation/Makefile
helm/ocaml/cic_notation/cicNotationMatcher.ml
helm/ocaml/cic_notation/cicNotationParser.ml
helm/ocaml/cic_notation/cicNotationParser.mli
helm/ocaml/cic_notation/cicNotationPp.ml
helm/ocaml/cic_notation/cicNotationPres.ml
helm/ocaml/cic_notation/cicNotationPres.mli
helm/ocaml/cic_notation/cicNotationPt.ml
helm/ocaml/cic_notation/cicNotationRew.ml
helm/ocaml/cic_notation/cicNotationTag.ml
helm/ocaml/cic_notation/cicNotationUtil.ml
helm/ocaml/cic_notation/test_parser.ml