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 | -4/+3 |
* | improve display of functor parameters, added mp_type_code field to functor pa... | Maxence Guesdon | 2004-03-26 | 1 | -1/+3 |
* | new module odoc_print, will work when Format.pp_print_flush is fixed | Maxence Guesdon | 2004-03-05 | 1 | -0/+31 |