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	683978a2627cf1ce15673360f26806593d22f7b5
tree	ace7b764db11d5bfaf3282c1a2fe5fca5da46741	tree \| snapshot
parent	21a10d0abc0636a49f12fc066f91270cec4d63d1	commit \| diff

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

41 files changed:

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

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

RSS Atom