summaryrefslogtreecommitdiff
path: root/CHANGELOG
Commit message (Expand)AuthorAge
* 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
* New releaseGravatar Adam Chlipala2010-06-03
* Add thunking to CHANGELOGGravatar Adam Chlipala2010-05-22
* URL-escape with '.' instead of '%', to avoid confusing proxiesGravatar Adam Chlipala2010-05-18
* New releaseGravatar Adam Chlipala2010-05-06
* New releaseGravatar Adam Chlipala2010-04-01
* New releaseGravatar Adam Chlipala2010-03-25
* Update manual for COUNT(col)Gravatar Adam Chlipala2010-03-16
* safeGetGravatar Adam Chlipala2010-03-09
* New releaseGravatar Adam Chlipala2010-02-13
* New releaseGravatar Adam Chlipala2010-01-30
* New releaseGravatar Adam Chlipala2010-01-12
* New releaseGravatar Adam Chlipala2009-12-30
* Dynamic linking of the runtime systemGravatar Adam Chlipala2009-12-27
* Make summary unification more conservative; infer implicit arguments after ap...Gravatar Adam Chlipala2009-12-26
* Initial generalization of Especialize, with security bug knownGravatar Adam Chlipala2009-12-15
* Convert to task syntaxGravatar Adam Chlipala2009-12-15
* Initializers and setvalGravatar Adam Chlipala2009-12-13
* Tweaking SQL parsing and typingGravatar Adam Chlipala2009-12-13
* Basis.url and redirectsGravatar Adam Chlipala2009-12-10
* New releaseGravatar Adam Chlipala2009-12-03
* More fun with cookiesGravatar Adam Chlipala2009-11-26
* New releaseGravatar Adam Chlipala2009-11-24
* New releaseGravatar Adam Chlipala2009-11-08
* Use call/cc for recv and sleepGravatar Adam Chlipala2009-10-25
* RPC uses VM support for call/ccGravatar Adam Chlipala2009-10-25