| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | more examples | Jacques Garrigue | 2010-09-10 | 1 | -2/+19 |
| * | also support implicit pack | Jacques Garrigue | 2010-08-26 | 1 | -2/+19 |
| * | allow also in let .. in | Jacques Garrigue | 2010-08-26 | 1 | -1/+9 |
| * | add examples | Jacques Garrigue | 2010-08-24 | 1 | -0/+10 |
| * | support implicit unpack in patterns too; see implicit_unpack.ml | Jacques Garrigue | 2010-08-24 | 1 | -0/+64 |
| * | merge branches/sigsubst 9626:10205 | Jacques Garrigue | 2010-04-17 | 2 | -0/+125 |
| * | Tests moved to 'typing-recmod' | Xavier Clerc | 2010-04-07 | 1 | -17/+0 |
| * | Tests moved from 'testlabl' | Xavier Clerc | 2010-04-07 | 19 | -2560/+0 |
| * | merge changes from release/3.11.1 to release/3.11.2 | Damien Doligez | 2010-01-20 | 2 | -0/+73 |
| * | merge polymorphic recursion | Jacques Garrigue | 2009-10-26 | 3 | -79/+171 |
| * | merge changes from ocaml3110 to ocaml3111rc0 | Damien Doligez | 2009-05-20 | 2 | -0/+21 |
| * | merge changes from 3.10.2merged to 3.11.0 | Damien Doligez | 2008-12-03 | 3 | -166/+211 |
| * | merge changes 3.10.0 -> 3.10.1 | Damien Doligez | 2008-01-11 | 1 | -0/+11 |
| * | merge changes from 3.10 | Jacques Garrigue | 2007-10-18 | 3 | -77/+80 |
| * | merge head on 2006-12-22 | Jacques Garrigue | 2006-12-22 | 1 | -0/+2 |
| * | better | Jacques Garrigue | 2006-11-21 | 1 | -2/+4 |
| * | extra | Jacques Garrigue | 2006-11-21 | 2 | -0/+8 |
| * | loosing abbreviation | Jacques Garrigue | 2006-11-01 | 1 | -0/+53 |
| * | applications in paths | Jacques Garrigue | 2006-10-10 | 1 | -2/+85 |
| * | be careful with path expansion | Jacques Garrigue | 2006-09-29 | 1 | -8/+74 |
| * | functors | Jacques Garrigue | 2006-09-28 | 1 | -0/+119 |
| * | inclusion & normal private rows | Jacques Garrigue | 2006-09-26 | 1 | -0/+34 |
| * | compatibilities | Jacques Garrigue | 2006-09-21 | 1 | -0/+18 |
| * | deep privacy | Jacques Garrigue | 2006-09-13 | 1 | -0/+4 |
| * | dispatch | Jacques Garrigue | 2006-09-12 | 1 | -0/+30 |
| * | pattern-matching works | Jacques Garrigue | 2006-09-11 | 1 | -0/+64 |
| * | more efficient coercions | Jacques Garrigue | 2006-05-17 | 1 | -0/+93 |
| * | bugs | Jacques Garrigue | 2006-05-09 | 6 | -0/+93 |
| * | add virtual instance variables | Jacques Garrigue | 2006-04-05 | 1 | -55/+55 |
| * | oublie tools | Jacques Garrigue | 2006-03-10 | 1 | -48/+88 |
| * | rebinding a virtual class | Jacques Garrigue | 2006-03-10 | 1 | -52/+119 |
| * | check hidden virtuals... | Jacques Garrigue | 2006-03-10 | 1 | -178/+407 |
| * | patch for merged and virtual instance variables | Jacques Garrigue | 2006-03-09 | 1 | -0/+2013 |
| * | add | Jacques Garrigue | 2006-02-02 | 1 | -0/+800 |
| * | multimatch patch 2006-02-02 | Jacques Garrigue | 2006-02-02 | 2 | -0/+1419 |
| * | patch for 3.09.1 | Jacques Garrigue | 2006-01-16 | 1 | -0/+354 |
| * | ajout de la quantification des variables de rangee | Jacques Garrigue | 2005-12-12 | 1 | -5/+9 |
| * | add poly rec examples | Jacques Garrigue | 2005-11-01 | 1 | -0/+16 |
| * | principal | Jacques Garrigue | 2005-10-31 | 3 | -2/+26 |
| * | subtyping polymorphic variants | Jacques Garrigue | 2005-08-19 | 3 | -2/+66 |
| * | subtyping private types | Jacques Garrigue | 2005-08-16 | 3 | -4/+41 |
| * | exemple supplementaire | Jacques Garrigue | 2005-08-16 | 1 | -0/+3 |
| * | add PRs | Jacques Garrigue | 2005-07-29 | 3 | -8/+21 |
| * | rename fixed types as private | Jacques Garrigue | 2005-03-22 | 1 | -8/+15 |
| * | more examples | Jacques Garrigue | 2005-03-14 | 1 | -0/+13 |
| * | fix poly method subtyping | Jacques Garrigue | 2005-03-10 | 3 | -7/+53 |
| * | abstract rows | Jacques Garrigue | 2005-02-22 | 1 | -0/+54 |
| * | new warning for black holes | Jacques Garrigue | 2004-11-29 | 2 | -18/+18 |
| * | different Tpoly's may share the same vl | Jacques Garrigue | 2004-10-15 | 3 | -0/+11 |
| * | allow for phantom univars | Jacques Garrigue | 2004-10-14 | 2 | -20/+2 |
