]> matita.cs.unibo.it Git - helm.git/commit
- factorized DisambiguateChoices module
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 24 Jan 2004 16:59:45 +0000 (16:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 24 Jan 2004 16:59:45 +0000 (16:59 +0000)
commit6459acbd4bb69475cfaa0b37a9771ced94193667
treeb68c1d2c362ff60a207f55981405da2d25e80e2a
parent67b9632f9a2e5331cb3c7b03908acf6392911007
- factorized DisambiguateChoices module
- implemented alias language for gTopLevel
16 files changed:
helm/ocaml/cic_disambiguation/.depend
helm/ocaml/cic_disambiguation/Makefile
helm/ocaml/cic_disambiguation/arit_notation.ml
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml
helm/ocaml/cic_disambiguation/cicTextualLexer2.mli
helm/ocaml/cic_disambiguation/cicTextualParser2.ml
helm/ocaml/cic_disambiguation/cicTextualParser2.mli
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_disambiguation/disambiguate.mli
helm/ocaml/cic_disambiguation/disambiguateChoices.ml [new file with mode: 0644]
helm/ocaml/cic_disambiguation/disambiguateChoices.mli [new file with mode: 0644]
helm/ocaml/cic_disambiguation/disambiguateTypes.ml
helm/ocaml/cic_disambiguation/disambiguateTypes.mli
helm/ocaml/cic_disambiguation/logic_notation.ml
helm/ocaml/cic_disambiguation/test_lexer.ml
helm/ocaml/cic_disambiguation/test_parser.ml