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

author	maiorino <??>
	Tue, 3 Oct 2006 16:05:50 +0000 (16:05 +0000)
committer	maiorino <??>
	Tue, 3 Oct 2006 16:05:50 +0000 (16:05 +0000)
commit	a15e3bafc1c4b8e5d12fbf562531becc0153edfe
tree	3aec3adbd7c734b23de2b5595f4f59cf9fae2573	tree \| snapshot
parent	df61a96a76dcad98ebaee2faf875afd31dff7ead	commit \| diff

Some declarative tactics did not allow the "done" option in place
of "(id)". Fixed.

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