]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2006-01-12 Stefano Zacchirolienable building with ocaml 3.08.x
2006-01-12 Stefano Zacchirolitest branch
2006-01-12 Stefano Zacchirolibranch for one-shot tests (use and throw away branch)