Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |