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: 741b3e9) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 20 Jul 2004 12:50:13 +0000 (12:50 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 20 Jul 2004 12:50:13 +0000 (12:50 +0000)
commit	cf5d6fab96c47ccb7d623d72742717d9b08bae7b
tree	0ec40952cdf8a6b9fe47a81a16bb6ce9dccc9022	tree \| snapshot
parent	741b3e9014f940fbbd34bee7b606ff7e72170452	commit \| diff

Subst has been added to the kernel.

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