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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 12 Oct 2007 18:12:38 +0000 (18:12 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 12 Oct 2007 18:12:38 +0000 (18:12 +0000)
commit	ec6924edf26b16a808a58bc26356b41450b29cfa
tree	6f365608126ff6ae849a4a1c4f9bff80b953b703	tree \| snapshot
parent	14e3a659d06551bb2ca7947310a270987d23a9d5	commit \| diff

Move to OCaml 3.10. Requires debian packages from unstable (soon in testing).

41 files changed:

Makefile.defs.in		diff \| blob \| history
components/METAS/meta.helm-content_pres.src		diff \| blob \| history
components/METAS/meta.helm-extlib.src		diff \| blob \| history
components/METAS/meta.helm-grafite_parser.src		diff \| blob \| history
components/METAS/meta.helm-lexicon.src		diff \| blob \| history
components/METAS/meta.helm-syntax_extensions.src		diff \| blob \| history
components/Makefile.common		diff \| blob \| history
components/acic_content/cicNotationPt.ml		diff \| blob \| history
components/binaries/extractor/Makefile		diff \| blob \| history
components/binaries/heights/Makefile		diff \| blob \| history
components/binaries/table_creator/Makefile		diff \| blob \| history
components/binaries/transcript/Makefile		diff \| blob \| history
components/binaries/utilities/Makefile		diff \| blob \| history
components/cic_disambiguation/disambiguate.ml		diff \| blob \| history
components/cic_disambiguation/disambiguate.mli		diff \| blob \| history
components/cic_disambiguation/disambiguateTypes.ml		diff \| blob \| history
components/cic_disambiguation/disambiguateTypes.mli		diff \| blob \| history
components/cic_proof_checking/Makefile		diff \| blob \| history
components/cic_unification/cicRefine.mli		diff \| blob \| history
components/content_pres/Makefile		diff \| blob \| history
components/content_pres/cicNotationLexer.ml		diff \| blob \| history
components/content_pres/cicNotationParser.ml		diff \| blob \| history
components/extlib/hExtlib.ml		diff \| blob \| history
components/extlib/hExtlib.mli		diff \| blob \| history
components/grafite/grafiteAst.ml		diff \| blob \| history
components/grafite_parser/Makefile		diff \| blob \| history
components/grafite_parser/grafiteDisambiguator.ml		diff \| blob \| history
components/grafite_parser/grafiteDisambiguator.mli		diff \| blob \| history
components/lexicon/lexiconAst.ml		diff \| blob \| history
components/library/refinementTool.ml		diff \| blob \| history
components/syntax_extensions/Makefile		diff \| blob \| history
components/syntax_extensions/README.syntax		diff \| blob \| history
components/syntax_extensions/pa_unicode_macro.ml		diff \| blob \| history
components/tactics/Makefile		diff \| blob \| history
configure.ac		diff \| blob \| history
matita/Makefile		diff \| blob \| history
matita/library/algebra/finite_groups.ma		diff \| blob \| history
matita/library/nat/orders.ma		diff \| blob \| history
matita/matitaExcPp.ml		diff \| blob \| history
matita/matitaExcPp.mli		diff \| blob \| history
matita/matitaGtkMisc.mli		diff \| blob \| history

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

RSS Atom