| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | a patch to allow 'with module type S = ...' and 'S := ...' | Jacques Garrigue | 2012-01-10 | 1 | -0/+182 |
| * | patch to move id creation to the C side | Jacques Garrigue | 2011-12-29 | 1 | -0/+141 |
| * | A small patch to call 'bind' for syntax 'let x <- expr in cont' | Jacques Garrigue | 2011-12-27 | 1 | -0/+77 |
| * | trim module signatures | Jacques Garrigue | 2011-12-15 | 1 | -3/+22 |
| * | A patch adding primitives to browse types in the toplevel | Jacques Garrigue | 2011-12-15 | 1 | -0/+141 |
| * | update patch | Jacques Garrigue | 2011-10-05 | 1 | -36/+84 |
| * | another approach to principality | Jacques Garrigue | 2011-09-27 | 1 | -17/+125 |
| * | fix gadt type variables | Jacques Garrigue | 2011-09-27 | 1 | -0/+363 |
| * | patch for better module errors | Jacques Garrigue | 2011-09-22 | 1 | -0/+403 |
| * | update patch | Jacques Garrigue | 2011-09-22 | 1 | -269/+381 |
| * | PR#5238, PR#5277: Sys_error when getting error location | Damien Doligez | 2011-08-04 | 1 | -0/+2 |
| * | renaming of Objective Caml to OCaml and cleanup of copyright headers | Damien Doligez | 2011-07-27 | 1 | -0/+157 |
| * | remove garbage from patch | Jacques Garrigue | 2011-07-23 | 1 | -162/+92 |
| * | patch for keeping variable names | Jacques Garrigue | 2011-07-23 | 2 | -0/+1618 |
| * | 'testlabl' renamed to 'experimental/garrigue'. | Xavier Clerc | 2011-07-21 | 15 | -0/+7220 |
