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

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 18 Jul 2005 12:16:21 +0000 (12:16 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Mon, 18 Jul 2005 12:16:21 +0000 (12:16 +0000)
commit	e20f3963028a966fc93ba0d611c4aa8341d20e2c
tree	918ad470873534137a200173bcc4c1b5bc67328e	tree \| snapshot
parent	b24260fd5c00791ad04042405e3942f288f54ab2	commit \| diff

merged cic_notation with disambiguation: good luck!

39 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/disambiguate.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguate.mli		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguateChoices.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguateChoices.mli		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguatePp.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_disambiguation/disambiguatePp.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_disambiguation/disambiguateTypes.ml		diff \| blob \| history
helm/ocaml/cic_disambiguation/disambiguateTypes.mli		diff \| blob \| history
helm/ocaml/cic_notation/.depend		diff \| blob \| history
helm/ocaml/cic_notation/Makefile		diff \| blob \| history
helm/ocaml/cic_notation/TODO		diff \| blob \| history
helm/ocaml/cic_notation/cicNotation.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/cicNotation.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/cicNotationFwd.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationFwd.mli		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationLexer.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationMatcher.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationMatcher.mli		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationParser.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationParser.mli		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationPp.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationPt.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationRew.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationRew.mli		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationUtil.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationUtil.mli		diff \| blob \| history
helm/ocaml/cic_notation/doc/core_notation.ma	[deleted file]	blob \| history
helm/ocaml/cic_notation/grafiteAst.ml		diff \| blob \| history
helm/ocaml/cic_notation/grafiteAstPp.ml	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/grafiteAstPp.mli	[new file with mode: 0644]	blob
helm/ocaml/cic_notation/grafiteParser.ml		diff \| blob \| history
helm/ocaml/cic_notation/grafiteParser.mli		diff \| blob \| history
helm/ocaml/cic_notation/test_parser.ml		diff \| blob \| history
helm/ocaml/cic_transformations/acic2Ast.ml		diff \| blob \| history
helm/ocaml/cic_transformations/cicAst.ml		diff \| blob \| history
helm/ocaml/cic_transformations/cicAst.mli		diff \| blob \| history

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

RSS Atom