Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | remove all $Id keywords | Damien Doligez | 2012-10-15 | 1 | -5/+0 |
* | fix formatting of copyright headers | Damien Doligez | 2012-08-01 | 1 | -0/+1 |
* | fix encoding bugs by replacing all non-ASCII characters | Damien Doligez | 2012-07-30 | 1 | -1/+1 |
* | merge changes from 4.00 branching to 4.00.0 (part 1) | Damien Doligez | 2012-07-26 | 1 | -1/+1 |
* | clean up spaces and tabs | Damien Doligez | 2010-01-22 | 1 | -19/+19 |
* | mod: one section per to module in latex output + improve latex output | Maxence Guesdon | 2004-03-26 | 1 | -1/+1 |
* | added $Id$ keywords | Basile Starynkevitch | 2003-11-24 | 1 | -0/+2 |
* | detabisation | Damien Doligez | 2002-07-23 | 1 | -52/+52 |
* | affichage des types de classes, ajout des labels pour les paramètres (pour l... | Maxence Guesdon | 2002-04-02 | 1 | -2/+3 |
* | ajout ocamldoc, pas encore compile automatiquement | Maxence Guesdon | 2002-03-27 | 1 | -0/+250 |