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: 1463900) | 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	4ee45a5645feb616089f64ba8902b3acfc72f728
tree	5efe668fc86d78f68dfb55fe14ddb0df0011caf1	tree \| snapshot
parent	1463900504de5429c344223b9775ea32d3025059	commit \| diff

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

13 files changed:

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