2012-05-19 |
Adam Chlipala |
New release |
2012-05-12 |
Adam Chlipala |
New release |
2012-03-29 |
Adam Chlipala |
New release |
2012-03-10 |
Adam Chlipala |
New release |
2012-01-10 |
Adam Chlipala |
New release |
2011-11-27 |
Adam Chlipala |
New release |
2011-09-17 |
Adam Chlipala |
New release |
2011-08-02 |
Adam Chlipala |
Remove some GCC-specific identifier choice and documentation |
2011-07-17 |
Adam Chlipala |
Document tutorial features |
2011-07-15 |
Adam Chlipala |
New release |
2011-05-17 |
Adam Chlipala |
Renumber version in CHANGELOG, since I wasn't ready to release as soon as I expected |
2011-05-15 |
Adam Chlipala |
New release |
2011-01-23 |
Adam Chlipala |
New release |
2011-01-16 |
Adam Chlipala |
Updating documentation in preparation for a release |
2010-11-02 |
Adam Chlipala |
New release |
2010-10-14 |
Adam Chlipala |
Documenting limits |
2010-09-07 |
Adam Chlipala |
Updating documentation |
2010-08-19 |
Adam Chlipala |
Polymorphic variants |
2010-06-03 |
Adam Chlipala |
New release |
2010-05-22 |
Adam Chlipala |
Add thunking to CHANGELOG |
2010-05-18 |
Adam Chlipala |
URL-escape with '.' instead of '%', to avoid confusing proxies |
2010-05-06 |
Adam Chlipala |
New release |
2010-04-01 |
Adam Chlipala |
New release |
2010-03-25 |
Adam Chlipala |
New release |
2010-03-16 |
Adam Chlipala |
Update manual for COUNT(col) |
2010-03-09 |
Adam Chlipala |
safeGet |
2010-02-13 |
Adam Chlipala |
New release |
2010-01-30 |
Adam Chlipala |
New release |
2010-01-12 |
Adam Chlipala |
New release |
2009-12-30 |
Adam Chlipala |
New release |
2009-12-27 |
Adam Chlipala |
Dynamic linking of the runtime system |
2009-12-26 |
Adam Chlipala |
Make summary unification more conservative; infer implicit arguments after applications |
2009-12-15 |
Adam Chlipala |
Initial generalization of Especialize, with security bug known |
2009-12-15 |
Adam Chlipala |
Convert to task syntax |
2009-12-13 |
Adam Chlipala |
Initializers and setval |
2009-12-13 |
Adam Chlipala |
Tweaking SQL parsing and typing |
2009-12-10 |
Adam Chlipala |
Basis.url and redirects |
2009-12-03 |
Adam Chlipala |
New release |
2009-11-26 |
Adam Chlipala |
More fun with cookies |
2009-11-24 |
Adam Chlipala |
New release |
2009-11-08 |
Adam Chlipala |
New release |
2009-10-25 |
Adam Chlipala |
Use call/cc for recv and sleep |
2009-10-25 |
Adam Chlipala |
RPC uses VM support for call/cc |
2009-10-12 |
Adam Chlipala |
New release |
2009-10-09 |
Adam Chlipala |
Put right date stamp in CHANGELOG |
2009-10-09 |
Adam Chlipala |
New release |
2009-10-06 |
Adam Chlipala |
Initial versioned1 demo working |
2009-10-05 |
Adam Chlipala |
Basic CRUD operations in Orm |
2009-09-26 |
Adam Chlipala |
New release |
2009-09-19 |
Adam Chlipala |
New release |
2009-09-12 |
Adam Chlipala |
New release |
2009-08-25 |
Adam Chlipala |
New release |
2009-07-18 |
Adam Chlipala |
FFI manual section |
2009-06-23 |
Adam Chlipala |
New release |
2009-05-05 |
Adam Chlipala |
Tag CHANGELOG with release date |
2009-05-02 |
Adam Chlipala |
Runtime URL and MIME type filtering |
2009-05-02 |
Adam Chlipala |
Path rewriting |
2009-04-28 |
Adam Chlipala |
Subforms |
2009-04-28 |
Adam Chlipala |
Views in CHANGELOG |
2009-04-28 |
Adam Chlipala |
Outer joins in CHANGELOG |