Age | Commit message (Expand) | Author |
2014-08-29 | merge changes of version/4.02 from r15121 to r15155 | Damien Doligez |
2014-05-04 | PR#5584: merge open extensible types, extension-patch-4.0.2 | Jacques Garrigue |
2013-09-30 | Merge trunk at revision 14200. Now everything works except private types | Jacques Garrigue |
2013-09-30 | do not alias functor parameters + some problems with coercions not fixed yet | Jacques Garrigue |
2013-09-27 | Keep attributes on module declarations. | Alain Frisch |
2013-09-17 | Do not track unused type declarations created by 'include'. | Alain Frisch |
2013-09-04 | Merge branch 4.01 from branching point to 4.01.0+rc1 | Damien Doligez |
2013-05-16 | #5980: explicit way to silence the new warning (open! X). | Alain Frisch |
2012-10-15 | remove all $Id keywords | Damien Doligez |
2012-07-30 | Remove dependency from typing/envaux.ml to bytecomp/instruct.ml | Fabrice Le Fessant |
2012-07-12 | Fix problem of size of bin-annot files | Fabrice Le Fessant |