Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Drop '.' from CErrors.anomaly, insert it in args | 2017-06-02 | |
* | [location] Make location optional in Loc.located | 2017-04-25 | |
* | [location] Remove Loc.ghost. | 2017-04-25 | |
* | Merge PR#379: Introducing evar-insensitive constrs | 2017-04-11 | |
|\ | |||
* | | [camlpX] Remove camlp4 compat layer. | 2017-04-07 | |
| * | Merge branch 'trunk' into pr379 | 2017-03-24 | |
|/ | |||
* | [pp] Make feedback the only logging mechanism. | 2017-03-21 | |
* | [pp] Prepare for serialization, remove opaque glue. | 2017-03-21 | |
* | [pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list` | 2017-03-21 | |
* | [stm] Break stm/toplevel dependency loop. | 2017-02-15 |