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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 9 May 2006 13:40:24 +0000 (13:40 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 9 May 2006 13:40:24 +0000 (13:40 +0000)
commit	8f9d476c32c48d14348a61889dc191c7696bd404
tree	2fda9bd49dd41a08cf5b37decbbf27079f67d707	tree \| snapshot
parent	0a910e65848253fc6c7b20231f5bc8482097b29c	commit \| diff

types2006 patch

22 files changed:

helm/software/components/binaries/saturate/saturate_main.ml		diff \| blob \| history
helm/software/components/cic_acic/cic2acic.ml		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/extlib/hExtlib.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/software/components/grafite_engine/grafiteEngine.mli		diff \| blob \| history
helm/software/components/grafite_parser/dependenciesParser.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteDisambiguate.mli		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/matita/library/algebra/finite_groups.ma		diff \| blob \| history
helm/software/matita/library/algebra/semigroups.ma		diff \| blob \| history
helm/software/matita/matita.glade		diff \| blob \| history
helm/software/matita/matitaEngine.ml		diff \| blob \| history
helm/software/matita/matitaEngine.mli		diff \| blob \| history
helm/software/matita/matitaGtkMisc.ml		diff \| blob \| history
helm/software/matita/matitaGui.ml		diff \| blob \| history
helm/software/matita/matitaScript.ml		diff \| blob \| history

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

RSS Atom