matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 142d7ec) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 19 Jan 2004 11:43:03 +0000 (11:43 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 19 Jan 2004 11:43:03 +0000 (11:43 +0000)
commit	358d1d55044347255aacb8daf03de0dbb18bc668
tree	7550ce5051b0dac885c355dda303c808289901d7	tree \| snapshot
parent	142d7ec20150166eb919cabece457375e8813804	commit \| diff

snapshot, almost working
TODO:
- domain processing order
- notation generation

18 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		diff \| blob \| history
helm/ocaml/cic_disambiguation/ast.mli		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguate.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguate.mli		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguate_struct.ml	[deleted file]	blob \| history
helm/ocaml/cic_disambiguation/disambiguate_types.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_disambiguation/disambiguate_types.mli		diff \| blob \| history
helm/ocaml/cic_disambiguation/lexer.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/logic_notation.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/pa_unicode_macro.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/parser.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/parser.mli		diff \| blob \| history
helm/ocaml/cic_disambiguation/pp.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/test_lexer.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/test_parser.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/tests/match.txt	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.