Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Bump year in headers. | 2017-07-04 | |
* | Put all plugins behind an "API". | 2017-06-07 | |
* | make the expansion of the "DECLARE PLUGIN" closer to the way how a human woul... | 2017-05-30 | |
* | Merge branch 'trunk' into located_switch | 2017-05-24 | |
|\ | |||
| * | Adding support for using grammar entries returning no value in EXTEND. | 2017-05-16 | |
* | | [location] Remove `Loc.internal_ghost` | 2017-04-25 | |
|/ | |||
* | Fix compilation with camlp5 transitional mode. | 2017-04-14 | |
* | [camlpX] Remove camlp4 compat layer. | 2017-04-07 | |
* | A new infrastructure for warnings. | 2016-06-29 | |
* | Merge branch 'yet-another-makefile-bigbang' into trunk | 2016-06-01 | |
* | Yet another Makefile reform : a unique phase without nasty make tricks | 2016-06-01 |