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: 9e8c5d2) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 25 Oct 2005 14:18:39 +0000 (14:18 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Tue, 25 Oct 2005 14:18:39 +0000 (14:18 +0000)
commit	db57b08d789de234c152c3f2a665000311b7335d
tree	4cb69d6be48411baa985a2de520d3b481c898059	tree \| snapshot
parent	9e8c5d2163e701413517153f00a52dac1cd31ecd	commit \| diff

experimental version

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