Age | Commit message (Expand) | Author |
---|---|---|
2010-10-21 | merge branches/implicit-unpack + update camlp4 | Jacques Garrigue |
2010-05-21 | PR#4975: spelling mistakes "overriden" and "informations" | Damien Doligez |
2010-04-17 | merge branches/sigsubst 9626:10205 | Jacques Garrigue |
2010-04-07 | Tests moved to 'typing-recmod' | Xavier Clerc |
2010-04-07 | Tests moved from 'testlabl' | Xavier Clerc |
2010-01-20 | merge changes from release/3.11.1 to release/3.11.2 | Damien Doligez |
2009-10-26 | merge polymorphic recursion | Jacques Garrigue |
2009-05-20 | merge changes from ocaml3110 to ocaml3111rc0 | Damien Doligez |
2008-12-03 | merge changes from 3.10.2merged to 3.11.0 | Damien Doligez |
2008-01-11 | merge changes 3.10.0 -> 3.10.1 | Damien Doligez |
2007-10-18 | merge changes from 3.10 | Jacques Garrigue |
2006-12-22 | merge head on 2006-12-22 | Jacques Garrigue |
2006-11-21 | better | Jacques Garrigue |
2006-11-21 | extra | Jacques Garrigue |
2006-11-01 | loosing abbreviation | Jacques Garrigue |
2006-10-10 | applications in paths | Jacques Garrigue |
2006-09-29 | be careful with path expansion | Jacques Garrigue |
2006-09-28 | functors | Jacques Garrigue |
2006-09-26 | inclusion & normal private rows | Jacques Garrigue |
2006-09-21 | compatibilities | Jacques Garrigue |
2006-09-13 | deep privacy | Jacques Garrigue |
2006-09-12 | dispatch | Jacques Garrigue |
2006-09-11 | pattern-matching works | Jacques Garrigue |
2006-05-17 | more efficient coercions | Jacques Garrigue |
2006-05-09 | bugs | Jacques Garrigue |
2006-04-05 | add virtual instance variables | Jacques Garrigue |
2006-03-10 | oublie tools | Jacques Garrigue |
2006-03-10 | rebinding a virtual class | Jacques Garrigue |
2006-03-10 | check hidden virtuals... | Jacques Garrigue |
2006-03-09 | patch for merged and virtual instance variables | Jacques Garrigue |
2006-02-02 | add | Jacques Garrigue |
2006-02-02 | multimatch patch 2006-02-02 | Jacques Garrigue |
2006-01-16 | patch for 3.09.1 | Jacques Garrigue |
2005-12-12 | ajout de la quantification des variables de rangee | Jacques Garrigue |
2005-11-01 | add poly rec examples | Jacques Garrigue |
2005-10-31 | principal | Jacques Garrigue |
2005-08-19 | subtyping polymorphic variants | Jacques Garrigue |
2005-08-16 | subtyping private types | Jacques Garrigue |
2005-08-16 | exemple supplementaire | Jacques Garrigue |
2005-07-29 | add PRs | Jacques Garrigue |
2005-03-22 | rename fixed types as private | Jacques Garrigue |
2005-03-14 | more examples | Jacques Garrigue |
2005-03-10 | fix poly method subtyping | Jacques Garrigue |
2005-02-22 | abstract rows | Jacques Garrigue |
2004-11-29 | new warning for black holes | Jacques Garrigue |
2004-10-15 | different Tpoly's may share the same vl | Jacques Garrigue |
2004-10-14 | allow for phantom univars | Jacques Garrigue |
2004-10-14 | accept more cases | Jacques Garrigue |
2004-10-13 | do Fmu checks for moregeneral/eqtype/subtype | Jacques Garrigue |
2004-10-13 | add Fmu check | Jacques Garrigue |