| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | manual: new consistency test for cross-references | octachron | 2018-01-04 | 1 | -0/+6 |
| * | manual pre-generation: separate .etex files from stdlib build | Gabriel Scherer | 2016-09-02 | 1 | -4/+8 |
| * | GPR#693: add a manual-pregen makefile target | octachron | 2016-09-02 | 1 | -0/+6 |
| * | manual build: have 'make all' run 'make tools' first | Gabriel Scherer | 2015-11-29 | 1 | -1/+2 |
| * | add missing newline | Damien Doligez | 2014-07-30 | 1 | -1/+1 |
| * | Add a Makefile rule to rebuild tools. | Alain Frisch | 2010-04-19 | 1 | -0/+4 |
| * | make -> ${MAKE} | Damien Doligez | 1997-12-10 | 1 | -6/+6 |
| * | MAJ pour release 1.10 | Xavier Leroy | 1995-11-07 | 1 | -3/+3 |
| * | La doc de Caml Special Light. | Xavier Leroy | 1995-11-01 | 1 | -0/+11 |
