]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ecd0ab1) | patch
- removed old parser
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 18 Jul 2005 13:26:38 +0000 (13:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 18 Jul 2005 13:26:38 +0000 (13:26 +0000)
commit7dbab245dee64ceb23e3f07a661101d6b78ed96a
tree374fb5cb1cfd787af9c11a1b715c51429a7b6180tree | snapshot
parentecd0ab19b82f611974bd76f3c740c842f566009dcommit | diff
- removed old parser
- reorganized module structure
this directory should now be renamed to ocaml/disambiguation/
13 files changed:
helm/ocaml/cic_disambiguation/.depend diff | blob | history
helm/ocaml/cic_disambiguation/Makefile diff | blob | history
helm/ocaml/cic_disambiguation/arit_notation.ml [deleted file] blob | history
helm/ocaml/cic_disambiguation/cicTextualLexer2.ml [deleted file] blob | history
helm/ocaml/cic_disambiguation/cicTextualLexer2.mli [deleted file] blob | history
helm/ocaml/cic_disambiguation/cicTextualParser2.ml [deleted file] blob | history
helm/ocaml/cic_disambiguation/cicTextualParser2.mli [deleted file] blob | history
helm/ocaml/cic_disambiguation/logic_notation.ml [deleted file] blob | history
helm/ocaml/cic_disambiguation/number_notation.ml [new file with mode: 0644] blob
helm/ocaml/cic_disambiguation/pa_unicode_macro.ml [deleted file] blob | history
helm/ocaml/cic_disambiguation/test_lexer.ml [deleted file] blob | history
helm/ocaml/cic_disambiguation/test_parser.ml [deleted file] blob | history
helm/ocaml/cic_disambiguation/tex_notation.ml [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.