]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2006-01-12 Stefano Zacchiroli...
2006-01-12 Stefano ZacchiroliBack to -for-pack (for ocaml-3.09.1)
2006-01-12 Stefano ZacchiroliNo check for lablgtk2.
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)