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

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

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 7 Oct 2009 09:43:18 +0000 (09:43 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 7 Oct 2009 09:43:18 +0000 (09:43 +0000)
commit	7288b45eacf9f7dcd118b3b89b81ff19ae9d6ce5
tree	573a7f192bbc9bff0f0ee654a030871515686997	tree \| snapshot
parent	3d23faf2969e2591db93f8bacc61952f3b66e2ca	commit \| diff

- oCic2NCic and nCic2OCic moved to ng_library
- spurious dependencies of ng_library on modules that need to convert
old tables added; to be removed in the future

29 files changed:

helm/software/components/METAS/meta.helm-ng_library.src		diff \| blob \| history
helm/software/components/Makefile		diff \| blob \| history
helm/software/components/binaries/transcript/.depend		diff \| blob \| history
helm/software/components/ng_cic_content/ncic2astMatcher.ml		diff \| blob \| history
helm/software/components/ng_cic_content/ncic2astMatcher.mli		diff \| blob \| history
helm/software/components/ng_disambiguation/nCicDisambiguate.ml		diff \| blob \| history
helm/software/components/ng_disambiguation/nCicDisambiguate.mli		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_kernel/Makefile		diff \| blob \| history
helm/software/components/ng_kernel/nCic2OCic.ml	[deleted file]	blob \| history
helm/software/components/ng_kernel/nCic2OCic.mli	[deleted file]	blob \| history
helm/software/components/ng_kernel/oCic2NCic.ml	[deleted file]	blob \| history
helm/software/components/ng_kernel/oCic2NCic.mli	[deleted file]	blob \| history
helm/software/components/ng_library/.depend		diff \| blob \| history
helm/software/components/ng_library/.depend.opt		diff \| blob \| history
helm/software/components/ng_library/Makefile		diff \| blob \| history
helm/software/components/ng_library/nCic2OCic.ml	[new file with mode: 0644]	blob
helm/software/components/ng_library/nCic2OCic.mli	[new file with mode: 0644]	blob
helm/software/components/ng_library/oCic2NCic.ml	[new file with mode: 0644]	blob
helm/software/components/ng_library/oCic2NCic.mli	[new file with mode: 0644]	blob
helm/software/components/ng_paramodulation/nCicBlob.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/nCicBlob.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/nCicProof.ml		diff \| blob \| history
helm/software/components/ng_paramodulation/nCicProof.mli		diff \| blob \| history
helm/software/components/ng_refiner/nCicCoercion.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicCoercion.mli		diff \| blob \| history
helm/software/components/ng_refiner/nCicUnifHint.ml		diff \| blob \| history
helm/software/components/syntax_extensions/.depend		diff \| blob \| history

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

RSS Atom