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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 14 Jan 2004 17:54:33 +0000 (17:54 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 14 Jan 2004 17:54:33 +0000 (17:54 +0000)
commit	aba014724c9ad08f80944ec3021c9fa3826dca4a
tree	cd53f134f6789ba31a5e1c4b2bc0d83b358f95b2	tree \| snapshot
parent	f0196d4e96bf8cc579d1690fc6a653adc08ca02e	commit \| diff

still a working copy, now towards a cleaner implementation ...

21 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	[new file with mode: 0644]	blob
helm/ocaml/cic_disambiguation/disambiguate.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_disambiguation/disambiguate_struct.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_disambiguation/disambiguate_types.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_disambiguation/lexer.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/lexer.mli		diff \| blob \| history
helm/ocaml/cic_disambiguation/logic_notation.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/macro.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/macro.mli		diff \| blob \| history
helm/ocaml/cic_disambiguation/make_table.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	[new file with mode: 0644]	blob
helm/ocaml/cic_disambiguation/pp.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/pp.mli		diff \| blob \| history
helm/ocaml/cic_disambiguation/test_lexer.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/test_parser.ml		diff \| blob \| history

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