| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | coherent handling of type declarations | Jacques Garrigue | 2003-06-30 | 5 | -35/+55 |
| * | fix PR#1731 | Jacques Garrigue | 2003-06-28 | 3 | -34/+83 |
| * | Revu approx_class_declarations (PR#1730) | Xavier Leroy | 2003-06-26 | 1 | -18/+9 |
| * | fix PR#1727 | Jacques Garrigue | 2003-06-25 | 4 | -12/+22 |
| * | Option -i: ignorer la presence d'un .mli | Xavier Leroy | 2003-06-23 | 1 | -16/+19 |
| * | L'option -i desactive la production des fichiers compiles .cmi, .cmo, .cmx, .... | Xavier Leroy | 2003-06-23 | 1 | -1/+1 |
| * | Merge branch with recursive modules | Xavier Leroy | 2003-06-19 | 14 | -34/+310 |
| * | changement .types -> .annot + format | Damien Doligez | 2003-06-12 | 2 | -3/+4 |
| * | restore variance for constructed types | Jacques Garrigue | 2003-05-23 | 1 | -0/+1 |
| * | add weak contravariance for types (PR#1692) | Jacques Garrigue | 2003-05-21 | 8 | -49/+66 |
| * | fix PR#1559 | Jacques Garrigue | 2003-05-19 | 5 | -125/+127 |
| * | Code mort. | Pierre Weis | 2003-05-14 | 1 | -5/+0 |
| * | finish? fixing PR#1673 | Jacques Garrigue | 2003-05-13 | 2 | -2/+2 |
| * | better printing of tuples and variant types | Jacques Garrigue | 2003-05-13 | 1 | -3/+3 |
| * | fix PR#1673 | Jacques Garrigue | 2003-05-12 | 1 | -10/+11 |
| * | Reinitialiser le gensym de Ident entre 2 compilations (PR#1618) | Xavier Leroy | 2003-05-12 | 2 | -1/+9 |
| * | Ajout unique_toplevel_name pour les besoins de Translmod.transl_toplevel_item | Xavier Leroy | 2003-05-12 | 2 | -0/+3 |
| * | fix PR#1663 | Jacques Garrigue | 2003-05-08 | 1 | -12/+15 |
| * | new warning, fragile match, qqs details | Luc Maranget | 2003-05-02 | 1 | -27/+56 |
| * | new warning, fragile match | Luc Maranget | 2003-05-02 | 1 | -16/+79 |
| * | Complete move from virtual to private for concrete types with private | Pierre Weis | 2003-05-01 | 13 | -51/+51 |
| * | Introducing format %$ (to print strings with variables substitution) | Pierre Weis | 2003-04-28 | 1 | -2/+7 |
| * | Ajout des litteraux de type int32, nativeint, int64 | Xavier Leroy | 2003-04-25 | 4 | -49/+68 |
| * | fix PR#1599 and PR#1616 | Jacques Garrigue | 2003-04-22 | 2 | -5/+7 |
| * | -stypes -> -dtypes; meilleur mode emacs | Damien Doligez | 2003-04-03 | 1 | -3/+3 |
| * | fix caml-list/Damien.Pous@ens-lyon.fr/2003-03-30 | Jacques Garrigue | 2003-04-03 | 1 | -1/+8 |
| * | ajout choses a faire | Damien Doligez | 2003-04-02 | 1 | -0/+4 |
| * | utilise Stypes dans ocamlbrowser | Jacques Garrigue | 2003-04-02 | 5 | -56/+108 |
| * | ajout option -stypes; depend | Damien Doligez | 2003-04-02 | 4 | -53/+192 |
| * | check partly defined types | Jacques Garrigue | 2003-03-26 | 1 | -1/+7 |
| * | polymorphic method bugs, PR#1607 | Jacques Garrigue | 2003-03-26 | 3 | -10/+13 |
| * | fix PR#1606: allow aliases in implicit polymorphic method types | Jacques Garrigue | 2003-03-20 | 1 | -10/+13 |
| * | remove one space in record types | Jacques Garrigue | 2003-03-20 | 1 | -1/+1 |
| * | at space at end of poly variant to fix PR#1605 | Jacques Garrigue | 2003-03-20 | 1 | -1/+1 |
| * | Simplifier la signature inferee avant de l'afficher par -i (PR#1560) | Xavier Leroy | 2003-03-10 | 1 | -24/+27 |
| * | fix PR#1559 and improve error messages | Jacques Garrigue | 2003-03-07 | 5 | -9/+19 |
| * | Pour l'option -pack, permettre de donner une interface explicite (via un .mli... | Xavier Leroy | 2003-03-06 | 2 | -9/+18 |
| * | Introduction des types virtuels etape 2: introduction dans camlp4. | Pierre Weis | 2003-02-28 | 3 | -6/+13 |
| * | Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dan... | Pierre Weis | 2003-02-28 | 11 | -40/+102 |
| * | merci damien (locations fantomes) | Luc Maranget | 2003-02-24 | 2 | -5/+10 |
| * | revert last_snapshot when backtracking | Jacques Garrigue | 2003-02-04 | 1 | -5/+7 |
| * | points-virgules mal places | Damien Doligez | 2003-01-21 | 1 | -1/+1 |
| * | Expanser les abreviations pour determiner si une chaine litterale est de type... | Xavier Leroy | 2003-01-07 | 1 | -1/+1 |
| * | Skip format typing. | Pierre Weis | 2002-12-09 | 1 | -83/+89 |
| * | Introducing the skip facility for scanf. | Pierre Weis | 2002-12-09 | 1 | -0/+3 |
| * | adding C-like %n format for scanf. For printf %n is an alias fr %i. | Pierre Weis | 2002-12-08 | 1 | -38/+41 |
| * | Relax the value restriction | Jacques Garrigue | 2002-12-03 | 4 | -34/+47 |
| * | menage | Jacques Garrigue | 2002-11-21 | 3 | -13/+15 |
| * | typo | Jacques Garrigue | 2002-11-21 | 1 | -1/+0 |
| * | add unification backtracking | Jacques Garrigue | 2002-11-21 | 5 | -85/+210 |
