aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | | | | | | remove framed view of the HTML documentation (see #114 and #274)Sebastian Meric de Bellefon2016-05-248-172/+7
| |/ / / / / / / / / / /
* | | | | | | | | | | | Merge pull request #507 from bgamari/T505Ben Gamari2016-05-251-5/+12
|\ \ \ \ \ \ \ \ \ \ \ \ | |/ / / / / / / / / / / |/| | | | | | | | | | |
| * | | | | | | | | | | Don't consider default class ops when looking for declsBen Gamari2016-05-221-2/+7
| * | | | | | | | | | | Create: Better debug outputBen Gamari2016-05-221-1/+4
| * | | | | | | | | | | Create: Remove redundant importsBen Gamari2016-05-221-2/+1
|/ / / / / / / / / / /
* | | | | | | | | | / doc: Use whichever theme sphinx deems appropriateBen Gamari2016-05-161-1/+0
| |_|_|_|_|_|_|_|_|/ |/| | | | | | | | |
* | | | | | | | | | cabal: Fix README pathBen Gamari2016-05-161-1/+1
* | | | | | | | | | Revert "doc: Vendorize alabaster Sphinx theme"Ben Gamari2016-05-163-4/+0
* | | | | | | | | | Merge pull request #502 from Helkafen/masterSebastian Méric de Bellefon2016-05-163-0/+10
|\ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|/ |/| | | | | | | | |
| * | | | | | | | | Fix #303. Hide footer when printingSebastian Meric de Bellefon2016-05-143-0/+10
| |/ / / / / / / /
* / / / / / / / / doc: Vendorize alabaster Sphinx themeBen Gamari2016-05-163-0/+4
|/ / / / / / / /
* | | | | | | | doc: Use `$(MAKE)` instead of `make`Ben Gamari2016-05-142-2/+2
* | | | | | | | Version bump to 2.17.2Ben Gamari2016-05-143-2/+6
| |_|_|_|_|_|/ |/| | | | | |
* | | | | | | doc: Fix GHC clean ruleBen Gamari2016-05-122-1/+3
* | | | | | | Revert "Version bump"Ben Gamari2016-05-123-6/+2
* | | | | | | Version bumpBen Gamari2016-05-123-2/+6
* | | | | | | Update CHANGESBen Gamari2016-05-121-1/+5
* | | | | | | doc: Add html as an all-target for ghcBen Gamari2016-05-111-2/+2
* | | | | | | doc: Add clean targetsBen Gamari2016-05-111-0/+2
| |_|_|_|_|/ |/| | | | |
* | | | | | Bump versionsBen Gamari2016-05-103-3/+3
* | | | | | doc: Update extra-source-files in Cabal fileBen Gamari2016-05-101-7/+3
* | | | | | hypsrc-test: Fix reference file path in cabal fileBen Gamari2016-05-101-1/+1
* | | | | | html-test: Update reference outputBen Gamari2016-05-107-240/+820
* | | | | | Create: Mark a comment as TODOBen Gamari2016-05-101-1/+1
* | | | | | haddock-test: A bit of refactoring for debuggabilityBen Gamari2016-05-102-9/+11
* | | | | | doc: At long last fix ghc.mkBen Gamari2016-05-011-2/+2
* | | | | | ghc: Install files for needed --hyperlinked-sourceBen Gamari2016-04-201-0/+2
* | | | | | Remove unused functionsMatthew Pickering2016-04-162-37/+0
* | | | | | Ensure expanded family instances render correctlyRyanGlScott2016-04-162-3/+4
* | | | | | Collapse type/data family instances by defaultRyanGlScott2016-04-162-10/+23
* | | | | | doc: Fix option referencesBen Gamari2016-04-101-7/+8
* | | | | | doc: Only install if BUILD_SPHINX_HTML==YESBen Gamari2016-04-101-0/+2
* | | | | | Fix printing of pattern synonym typesRik Steenkamp2016-04-041-3/+22
* | | | | | Changes due to fix for GHC#11648.Richard Eisenberg2016-03-156-11/+17
* | | | | | Follow-on changes to support RuntimeRepRichard Eisenberg2016-03-131-5/+4
| |_|_|_|/ |/| | | |
* | | | | Merge pull request #483 from bgamari/T11588Ben Gamari2016-02-181-9/+22
|\ \ \ \ \ | |_|_|_|/ |/| | | |
| * | | | Xhtml.Decl: Show 'where ...' after closed type familyBen Gamari2016-02-181-0/+5
| * | | | Xhtml.Decl: Show kind signatures for type family variablesBen Gamari2016-02-181-4/+11
| * | | | Xhtml.Decl: Various cleanupsBen Gamari2016-02-181-5/+6
|/ / / /
* | | | Merge pull request #480 from bgamari/sphinxBen Gamari2016-02-1115-2721/+1617
|\ \ \ \
| * | | | Document --use-unicode flagBen Gamari2016-02-081-0/+4
| * | | | doc: Switch to SphinxBen Gamari2016-02-0815-2721/+1613
* | | | | Use -fprint-unicode-syntax when --use-unicode is enabledBen Gamari2016-02-081-4/+7
* | | | | Merge branch 'anchors-redux'Ben Gamari2016-02-0884-662/+1601
|\ \ \ \ \
| * | | | | Update tests for previous commitPhil Ruffwind2016-02-0880-645/+1586
| * | | | | Move the permalinks to "#" on the right sidePhil Ruffwind2016-02-084-17/+15
|/ / / / /
* | | | | Merge branch 'fix-up-testsuite'Ben Gamari2016-02-0899-3273/+6987
|\ \ \ \ \ | |/ / / / |/| | | |
| * | | | hypsrc-test: Accept test outputBen Gamari2016-02-089-381/+2374
| * | | | html-test: Accept test outputBen Gamari2016-02-0881-2873/+4556
| * | | | test: Compare on dumpBen Gamari2016-02-082-2/+4