]>
2006-01-12 | Stefano Zacchiroli | ... |
commit | commitdiff | tree |
2006-01-12 | Stefano Zacchiroli | Back to -for-pack (for ocaml-3.09.1) |
commit | commitdiff | tree |
2006-01-12 | Stefano Zacchiroli | No check for lablgtk2. |
commit | commitdiff | tree |
2006-01-12 | Stefano Zacchiroli | hgdome and xmldiff no longer compiled |
commit | commitdiff | tree |
2006-01-12 | Stefano Zacchiroli | More resilient to svn-URL changes. |
commit | commitdiff | tree |
2006-01-12 | Stefano Zacchiroli | coq.moo.opt dependency added to the target tests.opt |
commit | commitdiff | tree |
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 |