Wed, 30 Nov 2011 15:28:56 -0500 |
Adam Chlipala |
Update Coq semantics for 8.3pl2 |
Sun, 27 Nov 2011 15:32:06 -0500 |
Adam Chlipala |
Return to working version mode |
Sun, 27 Nov 2011 15:12:44 -0500 |
Adam Chlipala |
New release |
Sat, 26 Nov 2011 10:14:05 -0500 |
Adam Chlipala |
Switch to YUI strftime |
Fri, 25 Nov 2011 17:19:34 -0500 |
Adam Chlipala |
Support 'safeGet' in demos |
Fri, 25 Nov 2011 16:30:34 -0500 |
Adam Chlipala |
Fix server-side urlification of custom Option types |
Fri, 25 Nov 2011 11:08:51 -0500 |
Adam Chlipala |
Announce sidedness errors with source locations |
Thu, 24 Nov 2011 11:56:05 -0500 |
Adam Chlipala |
Tweak error message about Basis.get to use that name instead of internal name |
Thu, 24 Nov 2011 11:41:52 -0500 |
Adam Chlipala |
Catch more <ccheckbox> events |
Thu, 24 Nov 2011 11:27:51 -0500 |
Adam Chlipala |
Client-side timef |
Thu, 24 Nov 2011 11:09:50 -0500 |
Adam Chlipala |
Mention Basis.current in manual |
Wed, 23 Nov 2011 13:17:40 -0430 |
Karn Kallio |
Add LIKE operator to SQL sublanguage. |
Sun, 20 Nov 2011 20:54:03 -0500 |
Adam Chlipala |
Yet another fix to previous change |
Sun, 20 Nov 2011 20:46:28 -0500 |
Adam Chlipala |
Fix bug in previous change |