summaryrefslogtreecommitdiff
path: root/docs/users_guide/intro.rst
Commit message (Expand)AuthorAgeFilesLines
* intro.rst: remove duplication of release references and fix a linkGreg Steuck2021-01-091-6/+1
* Switch to ReadTheDocs theme for the user-guideSylvain Henry2019-12-251-2/+38
* users-guide: Refer to language extension flags via :extension:Ben Gamari2019-10-081-1/+1
* users-guide: Update Wiki URLs to point to GitLabTakenobu Tani2019-03-191-5/+5
* Docs: Delete duplicate paragraph in user guideSiddhanathan Shanmugam2016-12-171-8/+0
* user-guide: Refer to MIN_VERSION_GLASGOW_HASKELL from introBen Gamari2016-01-211-0/+3
* Move user's guide to ReStructuredTextBen Gamari2015-10-031-0/+177