matita.cs.unibo.it Git - helm.git/commit - helm/matita/scripts/do_tests.sh

]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/scripts/do_tests.sh

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 86671ef) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 21 Dec 2005 14:22:22 +0000 (14:22 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 21 Dec 2005 14:22:22 +0000 (14:22 +0000)
commit	7d7f729471b4d5ebafa1b915096974e726cc13c6
tree	6ca0e1900f80f036d828a27811f81fbd3dabec00	tree \| snapshot
parent	86671ef183faa0ff4731d06d69349689fa4c084c	commit \| diff

__ files are removed

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