Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | Update CHANGES | david.waern | 2010-03-15 | 1 | -0/+6 |
| | |||||
* | Update CHANGES | david.waern | 2010-03-15 | 1 | -0/+6 |
| |