| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | fix(documentation): Fix the RST links to GHC.Prim | Hécate | 2020-05-13 | 1 | -1/+1 |
| * | Fix typos, via a Levenshtein-style corrector | Brian Wignall | 2020-01-04 | 1 | -1/+1 |
| * | Minor spelling fixes to users guide. | P.C. Shyamshankar | 2019-05-29 | 1 | -1/+1 |
| * | users-guide: Update Wiki URLs to point to GitLab | Takenobu Tani | 2019-03-19 | 1 | -4/+4 |
| * | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 1 | -5/+5 |
| * | users guide: Mention :since: in editing-guide | Ben Gamari | 2018-10-29 | 1 | -0/+2 |
| * | Rip out mkUserGuidePart | Ben Gamari | 2017-08-25 | 1 | -11/+0 |
| * | users_guide: Convert mkUserGuidePart generation to a Sphinx extension | Patrick Dougherty | 2017-08-18 | 1 | -5/+23 |
| * | Fix more documentation wibbles | Ben Gamari | 2017-07-23 | 1 | -0/+15 |
| * | users-guide: Standardize and repair all flag references | Patrick Dougherty | 2017-07-23 | 1 | -5/+21 |
| * | Spelling fixes | Gabor Greif | 2017-02-02 | 1 | -4/+4 |
| * | users_guide: Use semantic directive/role for command line options | Ben Gamari | 2016-01-09 | 1 | -3/+64 |
| * | Random typo fixes | Herbert Valerio Riedel | 2015-12-17 | 1 | -1/+1 |
| * | Fix a typo in the User's Guide ReST intro | Bartosz Nitka | 2015-10-26 | 1 | -1/+1 |
| * | Move user's guide to ReStructuredText | Ben Gamari | 2015-10-03 | 1 | -0/+334 |
