Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | remove all $Id keywords | Damien Doligez | 2012-10-15 | 1 | -2/+0 |
* | fix formatting of copyright headers | Damien Doligez | 2012-08-01 | 1 | -0/+1 |
* | clean up spaces and tabs | Damien Doligez | 2010-01-22 | 1 | -11/+11 |
* | add the kind to module parameters (the way the parameter was build in the par... | Maxence Guesdon | 2004-04-02 | 1 | -10/+1 |
* | improve display of functor parameters, added mp_type_code field to functor pa... | Maxence Guesdon | 2004-03-26 | 1 | -0/+1 |
* | added $Id$ keywords | Basile Starynkevitch | 2003-11-24 | 1 | -0/+1 |
* | detabisation | Damien Doligez | 2002-07-23 | 1 | -20/+20 |
* | suppression label opur les paramètres | Maxence Guesdon | 2002-04-05 | 1 | -9/+9 |
* | correction commentaires doc | Maxence Guesdon | 2002-04-03 | 1 | -1/+1 |
* | affichage des types de classes, ajout des labels pour les paramètres (pour l... | Maxence Guesdon | 2002-04-02 | 1 | -13/+13 |
* | ajout ocamldoc, pas encore compile automatiquement | Maxence Guesdon | 2002-03-27 | 1 | -0/+130 |