Make language extensions their own category in the documentation
[ghc.git] / docs / users_guide / flags.rst
2017-10-25  Joachim BreitnerMake language extensions their own category in the...
2017-10-19  Joachim BreitnerUser's guide: Fix the category of some flags
2017-08-19  Patrick Doughertyusers_guide: Convert mkUserGuidePart generation to...
2015-10-03  Ben GamariMove user's guide to ReStructuredText