summaryrefslogtreecommitdiff
path: root/manual/tools/Makefile
Commit message (Expand)AuthorAgeFilesLines
* updated ignored files; annotated extensions with their first release numberDamien Doligez2010-05-081-2/+2
* doc ocamllexLuc Maranget2002-10-291-0/+1
* MAJ labels, nouvelles librairiesXavier Leroy2000-04-031-2/+3
* caml-ized caml-texJacques Garrigue1999-12-131-1/+5
* Passage de Caml Light a O'Caml: le bootstrap est enfin complet !Damien Doligez1999-11-091-17/+17
* make -> ${MAKE}Damien Doligez1997-12-101-2/+2
* -O dans CFLAGSXavier Leroy1996-09-251-1/+1
* La doc de Caml Special Light.Xavier Leroy1995-11-011-0/+45