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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 30 Apr 2008 10:46:54 +0000 (10:46 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 30 Apr 2008 10:46:54 +0000 (10:46 +0000)
commit	9d356a6f202a77fb1dd67b57b1c86ac3ebe1382b
tree	3d4eae1c054f3c4fcd8bd860c24bc541ce25d962	tree \| snapshot
parent	c3c037204d2baf4e60b0ba8edd62a4f9acd17b70	commit \| diff

many pending modifications were there, now the website at least validates

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