projects / helm.git / shortlog
| 2006-01-12 | Stefano Zacchiroli | hgdome and xmldiff no longer compiled | commit | commitdiff | tree | snapshot |
| 2006-01-12 | Stefano Zacchiroli | More resilient to svn-URL changes. | commit | commitdiff | tree | snapshot |
| 2006-01-12 | Stefano Zacchiroli | coq.moo.opt dependency added to the target tests.opt | commit | commitdiff | tree | snapshot |
| 2006-01-12 | Stefano Zacchiroli | enable building with ocaml 3.08.x | commit | commitdiff | tree | snapshot |
| 2006-01-12 | Stefano Zacchiroli | test branch | commit | commitdiff | tree | snapshot |
| 2006-01-12 | Stefano Zacchiroli | branch for one-shot tests (use and throw away branch) | commit | commitdiff | tree | snapshot |