]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2006-01-12 Stefano Zacchirolihgdome and xmldiff no longer compiled
2006-01-12 Stefano ZacchiroliMore resilient to svn-URL changes.
2006-01-12 Stefano Zacchirolicoq.moo.opt dependency added to the target tests.opt
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)