Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | New release | Adam Chlipala | 2010-06-03 | |
* | Add thunking to CHANGELOG | Adam Chlipala | 2010-05-22 | |
* | URL-escape with '.' instead of '%', to avoid confusing proxies | Adam Chlipala | 2010-05-18 | |
* | New release | Adam Chlipala | 2010-05-06 | |
* | New release | Adam Chlipala | 2010-04-01 | |
* | New release | Adam Chlipala | 2010-03-25 | |
* | Update manual for COUNT(col) | Adam Chlipala | 2010-03-16 | |
* | safeGet | Adam Chlipala | 2010-03-09 | |
* | New release | Adam Chlipala | 2010-02-13 | |
* | New release | Adam Chlipala | 2010-01-30 | |
* | New release | Adam Chlipala | 2010-01-12 | |
* | New release | Adam Chlipala | 2009-12-30 | |
* | Dynamic linking of the runtime system | Adam Chlipala | 2009-12-27 | |
* | Make summary unification more conservative; infer implicit arguments after ap... | Adam Chlipala | 2009-12-26 | |
* | Initial generalization of Especialize, with security bug known | Adam Chlipala | 2009-12-15 | |
* | Convert to task syntax | Adam Chlipala | 2009-12-15 | |
* | Initializers and setval | Adam Chlipala | 2009-12-13 | |
* | Tweaking SQL parsing and typing | Adam Chlipala | 2009-12-13 | |
* | Basis.url and redirects | Adam Chlipala | 2009-12-10 | |
* | New release | Adam Chlipala | 2009-12-03 | |
* | More fun with cookies | Adam Chlipala | 2009-11-26 | |
* | New release | Adam Chlipala | 2009-11-24 | |
* | New release | Adam Chlipala | 2009-11-08 | |
* | Use call/cc for recv and sleep | Adam Chlipala | 2009-10-25 | |
* | RPC uses VM support for call/cc | Adam Chlipala | 2009-10-25 | |
* | New release | Adam Chlipala | 2009-10-12 | |
* | Put right date stamp in CHANGELOG | Adam Chlipala | 2009-10-09 | |
* | New release | Adam Chlipala | 2009-10-09 | |
* | Initial versioned1 demo working | Adam Chlipala | 2009-10-06 | |
* | Basic CRUD operations in Orm | Adam Chlipala | 2009-10-05 | |
* | New release | Adam Chlipala | 2009-09-26 | |
* | New release | Adam Chlipala | 2009-09-19 | |
* | New release | Adam Chlipala | 2009-09-12 | |
* | New release | Adam Chlipala | 2009-08-25 | |
* | FFI manual section | Adam Chlipala | 2009-07-18 | |
* | New release | Adam Chlipala | 2009-06-23 | |
* | Tag CHANGELOG with release date | Adam Chlipala | 2009-05-05 | |
* | Runtime URL and MIME type filtering | Adam Chlipala | 2009-05-02 | |
* | Path rewriting | Adam Chlipala | 2009-05-02 | |
* | Subforms | Adam Chlipala | 2009-04-28 | |
* | Views in CHANGELOG | Adam Chlipala | 2009-04-28 | |
* | Outer joins in CHANGELOG | Adam Chlipala | 2009-04-28 | |
* | Blobs in CHANGELOG | Adam Chlipala | 2009-04-26 | |
* | Cookie signatures for RPCs | Adam Chlipala | 2009-04-23 | |
* | URLs | Adam Chlipala | 2009-04-09 | |
* | Update CHANGELOG | Adam Chlipala | 2009-04-09 | |
* | CHANGELOG before release | Adam Chlipala | 2009-04-05 | |
* | Mention src/coq in CHANGELOG | Adam Chlipala | 2009-03-12 | |
* | Update CHANGELOG | Adam Chlipala | 2009-03-12 | |
* | Prepare to release | Adam Chlipala | 2008-12-09 |