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: bbdf43e) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 9 Oct 2006 17:48:45 +0000 (17:48 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Mon, 9 Oct 2006 17:48:45 +0000 (17:48 +0000)
commit	be292a08ee0c8792b21105952626da05d5f645b9
tree	512946f1f01e0be48d64b8ae601fc4d00354ef05	tree \| snapshot
parent	bbdf43ea2ac586be4f3c0779e98642b8f7bd1a03	commit \| diff

applyS now receives the same parameters that auto receives.
The parameters are not used yet.

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