summaryrefslogtreecommitdiff
path: root/docs/users_guide/using-concurrent.rst
Commit message (Expand)AuthorAgeFilesLines
* users-guide: Note change in getNumProcessors in users guideBen Gamari2020-05-301-0/+1
* Fix typo in documentationJeremy Schlatter2020-05-291-1/+1
* Document default value of +RTS -N in user's guideÖmer Sinan Ağacan2018-08-171-0/+2
* users_guide: Convert mkUserGuidePart generation to a Sphinx extensionPatrick Dougherty2017-08-181-0/+4
* users-guide: Make it easier to reference haddocksBen Gamari2017-07-241-6/+4
* Fix more documentation wibblesBen Gamari2017-07-231-9/+9
* users-guide: Standardize and repair all flag referencesPatrick Dougherty2017-07-231-9/+9
* users_guide: More capabilities than processors considered harmfulBen Gamari2016-08-311-1/+2
* Typofix.Edward Z. Yang2016-06-071-1/+1
* users_guide: Use semantic directive/role for command line optionsBen Gamari2016-01-091-27/+23
* Modify Nmax to maxN Trac #10728MarcelineVQ2015-12-231-4/+5
* Add -Nmax<n> RTS feature (#10728)MarcelineVQ2015-12-191-1/+7
* Move user's guide to ReStructuredTextBen Gamari2015-10-031-0/+196