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: 4fdb66a) | 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	76917216be769918258c90e486bb7c06d81b70b4
tree	9397703fccdd242d5b720a7b9d5f43cf37665cde	tree \| snapshot
parent	4fdb66a6436a18128faff1b5b97637c6ffb61f34	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.