aboutsummaryrefslogtreecommitdiff
path: root/CHANGES
Commit message (Collapse)AuthorAgeFilesLines
* Bump down the version for master to 2.14.4Mateusz Kowalczyk2014-08-141-1/+1
|
* Don't mangle append order for nested lists.Mateusz Kowalczyk2014-06-251-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 headersMateusz Kowalczyk2014-06-251-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 Kowalczyk2014-06-251-0/+2
|
* Update CHANGES to follow 2.14.3Mateusz Kowalczyk2014-04-111-0/+4
|
* Make CHANGES consistent with what's now in 2.14.2Mateusz Kowalczyk2014-04-011-0/+6
|
* Drop leading whitespace in @-style blocks.Mateusz Kowalczyk2014-03-311-0/+2
| | | | Fixes #201.
* Print kind signatures on GADTsMateusz Kowalczyk2014-03-311-0/+2
|
* Fix a few typosHerbert Valerio Riedel2014-03-231-4/+4
| | | | Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Always read in prologue files as UTF8 (#286).Mateusz Kowalczyk2014-03-131-0/+4
|
* Update changelogMateusz Kowalczyk2014-03-131-0/+8
|
* Filter family instances of hidden typesNiklas Haas2014-03-111-1/+1
| | | | | Currently, this check does not extend to hidden right hand sides, although it probably should hide them in that case.
* Update changelogNiklas Haas2014-03-111-1/+8
|
* Update changelogMateusz Kowalczyk2014-03-101-0/+9
|
* Improve display of poly-kinded type operatorsnand2014-02-111-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 familiesnand2014-02-111-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 #271Mateusz Kowalczyk2014-01-131-0/+2
| | | | Signed-off-by: Austin Seipp <austin@well-typed.com>
* Update documentation.Mateusz Kowalczyk2014-01-121-8/+21
|
* Bump versionSimon Hengel2013-11-101-1/+15
|
* Update CHANGESSimon Hengel2012-12-071-0/+11
|
* Update ANNOUNCE and CHANGESSimon Hengel2012-10-111-1/+1
|
* Update ANNOUNCE and CHANGESSimon Hengel2012-10-101-0/+10
|
* Update CHANGES.David Waern2012-09-071-0/+2
|
* Update CHANGES.David Waern2012-07-231-1/+5
|
* Mention the new aliased --qual mode in CHANGES.David Waern2012-05-161-1/+4
|
* Update CHANGES.David Waern2012-05-161-0/+18
|
* Update CHANGES.David Waern2012-02-011-0/+16
|
* Bump version to 2.9.4David Waern2011-10-041-0/+6
|
* Bump to version 2.9.3David Waern2011-09-261-0/+12
|
* Update CHANGESDavid Waern2011-03-101-0/+2
|
* Bump versionDavid Waern2011-01-081-0/+4
|
* Update CHANGESDavid Waern2010-12-191-0/+6
|
* Update CHANGESDavid Waern2010-12-061-0/+14
|
* Update CHANGES - don't mention 2.8.2, we won't release itDavid Waern2010-11-231-3/+5
|
* Bump version to 2.8.2David Waern2010-11-141-0/+6
|
* Bump versionDavid Waern2010-11-141-0/+4
|
* slight wording change about Frames modeMark Lentczner2010-09-011-1/+1
|
* Update CHANGESDavid Waern2010-08-311-0/+34
|
* Update CHANGES with info about 2.6.1David Waern2010-05-101-0/+6
|
* Update CHANGESdavid.waern2010-03-151-0/+6
|
* Update CHANGESdavid.waern2010-03-151-0/+6
|
* Update ANNOUNCEdavid.waern2010-03-141-0/+10
|
* Update CHANGESDavid Waern2009-12-211-0/+22
|
* Update CHANGESDavid Waern2009-08-141-0/+20
|
* Don't be too verbose in CHANGESDavid Waern2009-03-211-13/+3
|
* Update CHANGESDavid Waern2009-03-211-0/+48
|
* Bump version to 2.4.1 and update CHANGESDavid Waern2008-11-061-0/+6
|
* Update CHANGESDavid Waern2008-11-041-4/+4
|
* Update CHANGESDavid Waern2008-11-041-0/+14
|
* Update CHANGESdavid.waern2008-11-021-0/+14
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-11 14:03:46 +0000