| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| * | accept more cases | Jacques Garrigue | 2004-10-14 | 3 | -8/+37 |
| * | do Fmu checks for moregeneral/eqtype/subtype | Jacques Garrigue | 2004-10-13 | 3 | -2/+29 |
| * | add Fmu check | Jacques Garrigue | 2004-10-13 | 3 | -16/+51 |
| * | correct soundness problems? | Jacques Garrigue | 2004-06-01 | 3 | -5/+46 |
| * | unification dans F-mu... | Jacques Garrigue | 2004-05-25 | 2 | -4/+14 |
| * | Fmu | Jacques Garrigue | 2004-05-12 | 1 | -0/+5 |
| * | plus d'exemples | Jacques Garrigue | 2004-03-30 | 1 | -0/+33 |
| * | tests for objvariant branch | Jacques Garrigue | 2004-03-09 | 1 | -0/+9 |
| * | object fun | Jacques Garrigue | 2003-11-19 | 6 | -0/+402 |
| * | more tests | Jacques Garrigue | 2003-11-08 | 4 | -2/+101 |
| * | traite filtres incomplets dans pressure_variants | Jacques Garrigue | 2003-08-15 | 3 | -0/+30 |
| * | ameliore? typage des variants | Jacques Garrigue | 2003-08-14 | 3 | -0/+36 |
| * | revert to try_expand_head in Ctype.occur_rec (bug report by skaller) | Jacques Garrigue | 2003-08-09 | 3 | -4/+15 |
| * | fix PR#1744 | Jacques Garrigue | 2003-07-08 | 3 | -0/+8 |
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |