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

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

author	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 5 Oct 2010 16:45:05 +0000 (16:45 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 5 Oct 2010 16:45:05 +0000 (16:45 +0000)
commit	179cb3108e88369d855ba0088084be285fb19fdc
tree	a0162b7809fb5b92e11cba805aaed03fff2e2f3c	tree \| snapshot
parent	f9a3532255fb8dd1bf88902898bfe887a078c53e	commit \| diff

whelp and cic disambiguation removed

35 files changed:

matita/components/METAS/meta.helm-lexicon.src		diff \| blob \| history
matita/components/METAS/meta.helm-ng_disambiguation.src		diff \| blob \| history
matita/components/METAS/meta.helm-ng_kernel.src		diff \| blob \| history
matita/components/METAS/meta.helm-tactics.src		diff \| blob \| history
matita/components/METAS/meta.helm-whelp.src	[deleted file]	blob \| history
matita/components/Makefile		diff \| blob \| history
matita/components/cic_disambiguation/.depend	[deleted file]	blob \| history
matita/components/cic_disambiguation/.depend.opt	[deleted file]	blob \| history
matita/components/cic_disambiguation/Makefile	[deleted file]	blob \| history
matita/components/cic_disambiguation/cicDisambiguate.ml	[deleted file]	blob \| history
matita/components/cic_disambiguation/cicDisambiguate.mli	[deleted file]	blob \| history
matita/components/cic_disambiguation/disambiguateChoices.ml	[deleted file]	blob \| history
matita/components/cic_disambiguation/disambiguateChoices.mli	[deleted file]	blob \| history
matita/components/cic_disambiguation/doc/precedence.txt	[deleted file]	blob \| history
matita/components/cic_disambiguation/number_notation.ml	[deleted file]	blob \| history
matita/components/cic_disambiguation/tests/aliases.txt	[deleted file]	blob \| history
matita/components/cic_disambiguation/tests/eq.txt	[deleted file]	blob \| history
matita/components/cic_disambiguation/tests/match.txt	[deleted file]	blob \| history
matita/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.mli		diff \| blob \| history
matita/components/ng_disambiguation/.depend		diff \| blob \| history
matita/components/ng_disambiguation/Makefile		diff \| blob \| history
matita/components/ng_disambiguation/disambiguateChoices.ml	[new file with mode: 0644]	blob
matita/components/ng_disambiguation/disambiguateChoices.mli	[new file with mode: 0644]	blob
matita/components/tactics/fwdSimplTactic.ml		diff \| blob \| history
matita/components/whelp/.depend	[deleted file]	blob \| history
matita/components/whelp/.depend.opt	[deleted file]	blob \| history
matita/components/whelp/Makefile	[deleted file]	blob \| history
matita/components/whelp/fwdQueries.ml	[deleted file]	blob \| history
matita/components/whelp/fwdQueries.mli	[deleted file]	blob \| history
matita/components/whelp/whelp.ml	[deleted file]	blob \| history
matita/components/whelp/whelp.mli	[deleted file]	blob \| history
matita/configure.ac		diff \| blob \| history
matita/matita/matitaEngine.ml		diff \| blob \| history

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

RSS Atom