matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2006-01-12	Stefano Zacchiroli	enable building with ocaml 3.08.x	commit \| commitdiff \| tree
2006-01-12	Stefano Zacchiroli	test branch	commit \| commitdiff \| tree
2006-01-12	Stefano Zacchiroli	branch for one-shot tests (use and throw away branch)	commit \| commitdiff \| tree

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