aboutsummaryrefslogtreecommitdiffhomepage
path: root/grammar/vernacextend.mlp
Commit message (Expand)AuthorAge
* Fix compilation with camlp5 transitional mode.Gravatar Maxime Dénès2017-04-14
* [camlpX] Remove camlp4 compat layer.Gravatar Emilio Jesus Gallego Arias2017-04-07
* A new infrastructure for warnings.Gravatar Maxime Dénès2016-06-29
* Merge branch 'yet-another-makefile-bigbang' into trunkGravatar Pierre Letouzey2016-06-01
* Yet another Makefile reform : a unique phase without nasty make tricksGravatar Pierre Letouzey2016-06-01