summaryrefslogtreecommitdiff
path: root/CHANGELOG
Commit message (Expand)AuthorAge
* New releaseGravatar Adam Chlipala2020-02-09
* New release20190217Gravatar Adam Chlipala2019-02-17
* New release20180616Gravatar Adam Chlipala2018-06-16
* New releaseGravatar Adam Chlipala2017-07-20
* New releaseGravatar Adam Chlipala2017-01-05
* New releaseGravatar Adam Chlipala2016-10-22
* New releaseGravatar Adam Chlipala2016-08-05
* New releaseGravatar Adam Chlipala2016-06-21
* New releaseGravatar Adam Chlipala2016-05-15
* New releaseGravatar Adam Chlipala2016-03-06
* New releaseGravatar Adam Chlipala2016-02-13
* New releaseGravatar Adam Chlipala2015-12-20
* New releaseGravatar Adam Chlipala2015-11-22
* New releaseGravatar Adam Chlipala2015-10-18
* New releaseGravatar Adam Chlipala2015-08-19
* New releaseGravatar Adam Chlipala2015-05-20
* New releaseGravatar Adam Chlipala2015-04-12
* New releaseGravatar Adam Chlipala2015-02-14
* New releaseGravatar Adam Chlipala2015-01-03
* New releaseGravatar Adam Chlipala2014-12-06
* New releaseGravatar Adam Chlipala2014-08-30
* New releaseGravatar Adam Chlipala2014-08-19
* New releaseGravatar Adam Chlipala2014-08-07
* New releaseGravatar Adam Chlipala2014-07-04
* New releaseGravatar Adam Chlipala2014-06-15
* New releaseGravatar Adam Chlipala2014-05-31
* New releaseGravatar Adam Chlipala2014-04-26
* New releaseGravatar Adam Chlipala2013-12-31
* New releaseGravatar Adam Chlipala2013-11-24
* New releaseGravatar Adam Chlipala2013-04-21
* New releaseGravatar Adam Chlipala2012-09-25
* New releaseGravatar Adam Chlipala2012-08-07
* New releaseGravatar Adam Chlipala2012-05-19
* New releaseGravatar Adam Chlipala2012-05-12
* New releaseGravatar Adam Chlipala2012-03-29
* New releaseGravatar Adam Chlipala2012-03-10
* New releaseGravatar Adam Chlipala2012-01-10
* New releaseGravatar Adam Chlipala2011-11-27
* New releaseGravatar Adam Chlipala2011-09-17
* Remove some GCC-specific identifier choice and documentationGravatar Adam Chlipala2011-08-02
* Document tutorial featuresGravatar Adam Chlipala2011-07-17
* New releaseGravatar Adam Chlipala2011-07-15
* Renumber version in CHANGELOG, since I wasn't ready to release as soon as I e...Gravatar Adam Chlipala2011-05-17
* New releaseGravatar Adam Chlipala2011-05-15
* New releaseGravatar Adam Chlipala2011-01-23
* Updating documentation in preparation for a releaseGravatar Adam Chlipala2011-01-16
* New releaseGravatar Adam Chlipala2010-11-02
* Documenting limitsGravatar Adam Chlipala2010-10-14
* Updating documentationGravatar Adam Chlipala2010-09-07
* Polymorphic variantsGravatar Adam Chlipala2010-08-19