Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Polymorphic variants | Adam Chlipala | 2010-08-19 |
* | 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 |