summaryrefslogtreecommitdiff
path: root/CHANGELOG
Commit message (Expand)AuthorAge
* 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
* New releaseGravatar Adam Chlipala2009-10-12
* Put right date stamp in CHANGELOGGravatar Adam Chlipala2009-10-09
* New releaseGravatar Adam Chlipala2009-10-09
* Initial versioned1 demo workingGravatar Adam Chlipala2009-10-06
* Basic CRUD operations in OrmGravatar Adam Chlipala2009-10-05
* New releaseGravatar Adam Chlipala2009-09-26
* New releaseGravatar Adam Chlipala2009-09-19
* New releaseGravatar Adam Chlipala2009-09-12
* New releaseGravatar Adam Chlipala2009-08-25
* FFI manual sectionGravatar Adam Chlipala2009-07-18
* New releaseGravatar Adam Chlipala2009-06-23
* Tag CHANGELOG with release dateGravatar Adam Chlipala2009-05-05
* Runtime URL and MIME type filteringGravatar Adam Chlipala2009-05-02
* Path rewritingGravatar Adam Chlipala2009-05-02
* SubformsGravatar Adam Chlipala2009-04-28
* Views in CHANGELOGGravatar Adam Chlipala2009-04-28
* Outer joins in CHANGELOGGravatar Adam Chlipala2009-04-28
* Blobs in CHANGELOGGravatar Adam Chlipala2009-04-26
* Cookie signatures for RPCsGravatar Adam Chlipala2009-04-23
* URLsGravatar Adam Chlipala2009-04-09
* Update CHANGELOGGravatar Adam Chlipala2009-04-09
* CHANGELOG before releaseGravatar Adam Chlipala2009-04-05
* Mention src/coq in CHANGELOGGravatar Adam Chlipala2009-03-12
* Update CHANGELOGGravatar Adam Chlipala2009-03-12
* Prepare to releaseGravatar Adam Chlipala2008-12-09
* Start of manualGravatar Adam Chlipala2008-11-27
* Note optimizations in changelogGravatar Adam Chlipala2008-11-27
* Fusing writes with recursive function callsGravatar Adam Chlipala2008-11-25
* Update CHANGELOG for 20081120Gravatar Adam Chlipala2008-11-20
* Tag CHANGELOG with release numberGravatar Adam Chlipala2008-11-18
* Mention Especialize in CHANGELOGGravatar Adam Chlipala2008-11-18
* Inserted a NULL valueGravatar Adam Chlipala2008-11-06
* GCCARGS configure optionGravatar Adam Chlipala2008-10-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 00:12:43 +0000