users-guide: Remove static field type from rts-flag
[ghc.git] / docs / users_guide / conf.py
2016-07-04  Ben Gamariusers-guide: Remove static field type from rts-flag
2016-05-21  Ben Gamariusers-guide: Fix index in PDF output
2016-01-21  Sergei Trofimovichsphinx-build: fix python stack overflow (Trac #10950)
2016-01-09  Ben Gamariusers_guide: Use semantic directive/role for command...
2016-01-04  Ben Gamariusers_guide: Add ghci-cmd directive
2015-11-18  Ben Gamariusers-guide: Fix typo in conf.py
2015-11-18  Ben Gamariusers-guide: Use tango pygments style
2015-10-03  Ben GamariMove user's guide to ReStructuredText