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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 8a4fdd9) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 7 Mar 2007 11:11:22 +0000 (11:11 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 7 Mar 2007 11:11:22 +0000 (11:11 +0000)
commit	da240cc33abae83ca35782dee48b1a9a3a87ff76
tree	cb14ca5275a76fd5fb65eda52963db0a77aa984d	tree \| snapshot
parent	8a4fdd910446fb3635719d979613aad2bd56db16	commit \| diff

Procedural : cic object preprocessor added
depend[.opt]: some fixes

13 files changed:

helm/software/components/acic_procedural/.depend		diff \| blob \| history
helm/software/components/acic_procedural/.depend.opt		diff \| blob \| history
helm/software/components/acic_procedural/Makefile		diff \| blob \| history
helm/software/components/acic_procedural/acic2Procedural.ml		diff \| blob \| history
helm/software/components/acic_procedural/proceduralClassify.ml		diff \| blob \| history
helm/software/components/acic_procedural/proceduralClassify.mli		diff \| blob \| history
helm/software/components/acic_procedural/proceduralConversion.ml		diff \| blob \| history
helm/software/components/acic_procedural/proceduralMode.ml		diff \| blob \| history
helm/software/components/cic/.depend		diff \| blob \| history
helm/software/components/cic/.depend.opt		diff \| blob \| history
helm/software/matita/.depend		diff \| blob \| history
helm/software/matita/.depend.opt		diff \| blob \| history
helm/software/matita/applyTransformation.ml		diff \| blob \| history

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