summaryrefslogtreecommitdiff
path: root/CHANGELOG
Commit message (Collapse)AuthorAge
* 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 ↵Gravatar Adam Chlipala2009-12-26
| | | | applications
* 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
|