| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | intro.rst: remove duplication of release references and fix a link | Greg Steuck | 2021-01-09 | 1 | -6/+1 |
| * | Switch to ReadTheDocs theme for the user-guide | Sylvain Henry | 2019-12-25 | 1 | -2/+38 |
| * | users-guide: Refer to language extension flags via :extension: | Ben Gamari | 2019-10-08 | 1 | -1/+1 |
| * | users-guide: Update Wiki URLs to point to GitLab | Takenobu Tani | 2019-03-19 | 1 | -5/+5 |
| * | Docs: Delete duplicate paragraph in user guide | Siddhanathan Shanmugam | 2016-12-17 | 1 | -8/+0 |
| * | user-guide: Refer to MIN_VERSION_GLASGOW_HASKELL from intro | Ben Gamari | 2016-01-21 | 1 | -0/+3 |
| * | Move user's guide to ReStructuredText | Ben Gamari | 2015-10-03 | 1 | -0/+177 |
