Age | Commit message (Expand) | Author |
---|---|---|
2012-10-15 | remove all $Id keywords | Damien Doligez |
2012-08-01 | fix formatting of copyright headers | Damien Doligez |
2012-07-30 | fix encoding bugs by replacing all non-ASCII characters | Damien Doligez |
2012-05-30 | merge with branch bin-annot | Fabrice Le Fessant |
2010-01-22 | clean up spaces and tabs | Damien Doligez |
2004-05-18 | ajout du champ cty_inher dans Types.class_declaration | Jacques Garrigue |
2004-03-26 | improve display of functor parameters, added mp_type_code field to functor pa... | Maxence Guesdon |
2004-03-05 | new module odoc_print, will work when Format.pp_print_flush is fixed | Maxence Guesdon |