]>
2006-01-12 | Stefano Zacchiroli | !$%!%@$@$#@ tests | tree | commitdiff |
2006-01-12 | Stefano Zacchiroli | ... | tree | commitdiff |
2006-01-12 | Stefano Zacchiroli | No check for lablgtk2. | tree | commitdiff |
2006-01-12 | Stefano Zacchiroli | More resilient to svn-URL changes. | tree | commitdiff |
2006-01-12 | Stefano Zacchiroli | coq.moo.opt dependency added to the target tests.opt | tree | commitdiff |
2006-01-12 | Stefano Zacchiroli | enable building with ocaml 3.08.x | tree | commitdiff |
2006-01-12 | Stefano Zacchiroli | test branch | tree | commitdiff |