| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | update changelog | Mateusz Kowalczyk | 2014-12-18 | 1 | -0/+12 | 
| | | |||||
| * | Print missing docs by default | Mateusz Kowalczyk | 2014-12-18 | 1 | -0/+2 | 
| | | | | | Adds --no-print-missing-docs | ||||
| * | Various fixups and bumps for next release | Mateusz Kowalczyk | 2014-12-12 | 1 | -1/+1 | 
| | | |||||
| * | Fix parsing of identifiers written in infix way | Mateusz Kowalczyk | 2014-11-04 | 1 | -0/+2 | 
| | | |||||
| * | Fix re-exports of built-in type families | Mateusz Kowalczyk | 2014-11-04 | 1 | -0/+2 | 
| | | | | | Fixes #310 | ||||
| * | Allow an optional colon after the closing bracket of definition lists | Simon Hengel | 2014-11-03 | 1 | -0/+4 | 
| | | | | | | This is to disambiguate them from markdown links and will be require with a future release. | ||||
| * | Add support for markdown images | Simon Hengel | 2014-11-03 | 1 | -0/+2 | 
| | | |||||
| * | Experimental support for collapsable headers | Mateusz Kowalczyk | 2014-10-29 | 1 | -0/+4 | 
| | | | | | Closes #335 | ||||
| * | Delete few unused/irrelevant/badly-place files. | Mateusz Kowalczyk | 2014-08-24 | 1 | -0/+3 | 
| | | |||||
| * | Update CHANGES | Mateusz Kowalczyk | 2014-08-24 | 1 | -1/+18 | 
| | | |||||
| * | Add #313 to CHANGES | Mateusz Kowalczyk | 2014-08-15 | 1 | -0/+2 | 
| | | |||||
| * | Bump down the version for master to 2.14.4 | Mateusz Kowalczyk | 2014-08-14 | 1 | -1/+1 | 
| | | |||||
| * | Don't mangle append order for nested lists. | Mateusz Kowalczyk | 2014-06-25 | 1 | -0/+2 | 
| | | | | | | | | | The benefit of this is that the ‘top-level’ element of such lists is properly wrapped in <p> tags so any CSS working with these will be applied properly. It also just makes more sense. Pointed out at jgm/pandoc#1346. | ||||
| * | Drop DocParagraph from front of headers | Mateusz Kowalczyk | 2014-06-25 | 1 | -0/+2 | 
| | | | | | | I can not remember why they were wrapped in paragraphs to begin with and it seems unnecessary now that I test it. Closes #307. | ||||
| * | Fix anchors. Closes #308. | Mateusz Kowalczyk | 2014-06-25 | 1 | -0/+2 | 
| | | |||||
| * | Update CHANGES to follow 2.14.3 | Mateusz Kowalczyk | 2014-04-11 | 1 | -0/+4 | 
| | | |||||
| * | Make CHANGES consistent with what's now in 2.14.2 | Mateusz Kowalczyk | 2014-04-01 | 1 | -0/+6 | 
| | | |||||
| * | Drop leading whitespace in @-style blocks. | Mateusz Kowalczyk | 2014-03-31 | 1 | -0/+2 | 
| | | | | | Fixes #201. | ||||
| * | Print kind signatures on GADTs | Mateusz Kowalczyk | 2014-03-31 | 1 | -0/+2 | 
| | | |||||
| * | Fix a few typos | Herbert Valerio Riedel | 2014-03-23 | 1 | -4/+4 | 
| | | | | | Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org> | ||||
| * | Always read in prologue files as UTF8 (#286). | Mateusz Kowalczyk | 2014-03-13 | 1 | -0/+4 | 
| | | |||||
| * | Update changelog | Mateusz Kowalczyk | 2014-03-13 | 1 | -0/+8 | 
| | | |||||
| * | Filter family instances of hidden types | Niklas Haas | 2014-03-11 | 1 | -1/+1 | 
| | | | | | | Currently, this check does not extend to hidden right hand sides, although it probably should hide them in that case. | ||||
| * | Update changelog | Niklas Haas | 2014-03-11 | 1 | -1/+8 | 
| | | |||||
| * | Update changelog | Mateusz Kowalczyk | 2014-03-10 | 1 | -0/+9 | 
| | | |||||
| * | Improve display of poly-kinded type operators | nand | 2014-02-11 | 1 | -0/+2 | 
| | | | | | | | | This now displays them as (==) k a b c ... to mirror GHC's behavior, instead of the old (k == a) b c ... which was just wrong. Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | ||||
| * | Add support for type/data families | nand | 2014-02-11 | 1 | -0/+2 | 
| | | | | | | | | | This adds support for type/data families with their respective instances, as well as closed type families and associated type/data families. Signed-off-by: Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | ||||
| * | Fixes #271 | Mateusz Kowalczyk | 2014-01-13 | 1 | -0/+2 | 
| | | | | | Signed-off-by: Austin Seipp <austin@well-typed.com> | ||||
| * | Update documentation. | Mateusz Kowalczyk | 2014-01-12 | 1 | -8/+21 | 
| | | |||||
| * | Bump version | Simon Hengel | 2013-11-10 | 1 | -1/+15 | 
| | | |||||
| * | Update CHANGES | Simon Hengel | 2012-12-07 | 1 | -0/+11 | 
| | | |||||
| * | Update ANNOUNCE and CHANGES | Simon Hengel | 2012-10-11 | 1 | -1/+1 | 
| | | |||||
| * | Update ANNOUNCE and CHANGES | Simon Hengel | 2012-10-10 | 1 | -0/+10 | 
| | | |||||
| * | Update CHANGES. | David Waern | 2012-09-07 | 1 | -0/+2 | 
| | | |||||
| * | Update CHANGES. | David Waern | 2012-07-23 | 1 | -1/+5 | 
| | | |||||
| * | Mention the new aliased --qual mode in CHANGES. | David Waern | 2012-05-16 | 1 | -1/+4 | 
| | | |||||
| * | Update CHANGES. | David Waern | 2012-05-16 | 1 | -0/+18 | 
| | | |||||
| * | Update CHANGES. | David Waern | 2012-02-01 | 1 | -0/+16 | 
| | | |||||
| * | Bump version to 2.9.4 | David Waern | 2011-10-04 | 1 | -0/+6 | 
| | | |||||
| * | Bump to version 2.9.3 | David Waern | 2011-09-26 | 1 | -0/+12 | 
| | | |||||
| * | Update CHANGES | David Waern | 2011-03-10 | 1 | -0/+2 | 
| | | |||||
| * | Bump version | David Waern | 2011-01-08 | 1 | -0/+4 | 
| | | |||||
| * | Update CHANGES | David Waern | 2010-12-19 | 1 | -0/+6 | 
| | | |||||
| * | Update CHANGES | David Waern | 2010-12-06 | 1 | -0/+14 | 
| | | |||||
| * | Update CHANGES - don't mention 2.8.2, we won't release it | David Waern | 2010-11-23 | 1 | -3/+5 | 
| | | |||||
| * | Bump version to 2.8.2 | David Waern | 2010-11-14 | 1 | -0/+6 | 
| | | |||||
| * | Bump version | David Waern | 2010-11-14 | 1 | -0/+4 | 
| | | |||||
| * | slight wording change about Frames mode | Mark Lentczner | 2010-09-01 | 1 | -1/+1 | 
| | | |||||
| * | Update CHANGES | David Waern | 2010-08-31 | 1 | -0/+34 | 
| | | |||||
| * | Update CHANGES with info about 2.6.1 | David Waern | 2010-05-10 | 1 | -0/+6 | 
| | | |||||
