| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
|
|
|
|
|
|
| |
Render non-ASCII characters using numeric character references, to simplify
charset issues. There's a META tag saying the charset is UTF-8, but GHC
outputs characters as raw bytes.
Ideally we need an encoding on the input side too, primarily in comments,
because source files containing non-ASCII characters aren't portable between
locales.
|
|
|
|
| |
Fixed spelling of "http-equiv" attribute
|
|
|
|
| |
Nuked dead code
|
|
|
|
| |
Remove all that indentation in the generated HTML to keep the file sizes down.
|
|
|
|
| |
Eliminate some unnecessary spaces in the HTML rendering
|
|
|
|
|
|
|
|
|
|
| |
Add support for collaspible parts of the page, with a +/- button and a
bit of JavaScript. Make the instances collapsible, and collapse them
by default.
This makes documentation with long lists of instances (eg. the
Prelude) much easier to read. Maybe we should give other
documentation sections the same treatment.
|
|
|
|
| |
Patches to quieten ghc -Wall, from those nice folks at Galois.
|
|
- Add our own versions of Html & BlockTable for the time being.
- Add support for generating an index to the HTML backend
|