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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 27 Nov 2008 12:24:38 +0000 (12:24 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 27 Nov 2008 12:24:38 +0000 (12:24 +0000)
commit	13bfd154ade0996d34e7e723398ac7ab76a51717
tree	b0ffe3b4dbc5aba0c575ac4d3b97db7321965b8d	tree \| snapshot
parent	a8b95f91af568cfe587b3f05b9c111c6ebe8b0a8	commit \| diff

1. grafiteDisambiguator => multiPassDisambiguator
2.

29 files changed:

helm/software/components/cic_disambiguation/.depend		diff \| blob \| history
helm/software/components/cic_disambiguation/.depend.opt		diff \| blob \| history
helm/software/components/cic_disambiguation/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/.depend		diff \| blob \| history
helm/software/components/cic_proof_checking/.depend.opt		diff \| blob \| history
helm/software/components/grafite_parser/.depend		diff \| blob \| history
helm/software/components/grafite_parser/.depend.opt		diff \| blob \| history
helm/software/components/grafite_parser/Makefile		diff \| blob \| history
helm/software/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
helm/software/components/grafite_parser/grafiteDisambiguator.ml	[deleted file]	blob \| history
helm/software/components/grafite_parser/grafiteDisambiguator.mli	[deleted file]	blob \| history
helm/software/components/grafite_parser/multiPassDisambiguator.ml	[new file with mode: 0644]	blob
helm/software/components/grafite_parser/multiPassDisambiguator.mli	[new file with mode: 0644]	blob
helm/software/components/ng_disambiguation/nDisambiguate.ml		diff \| blob \| history
helm/software/components/ng_kernel/.depend		diff \| blob \| history
helm/software/components/ng_kernel/.depend.opt		diff \| blob \| history
helm/software/components/ng_refiner/.depend		diff \| blob \| history
helm/software/components/tactics/.depend		diff \| blob \| history
helm/software/components/tactics/.depend.opt		diff \| blob \| history
helm/software/matita/matita.ml		diff \| blob \| history
helm/software/matita/matitaExcPp.ml		diff \| blob \| history
helm/software/matita/matitaGui.ml		diff \| blob \| history
helm/software/matita/matitaGui.mli		diff \| blob \| history
helm/software/matita/matitaInit.ml		diff \| blob \| history
helm/software/matita/matitaScript.ml		diff \| blob \| history

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

RSS Atom