| Sat, 03 Dec 2011 10:00:10 -0500 |
Adam Chlipala |
Allow sources to be returned by RPCs |
| Sat, 03 Dec 2011 09:44:07 -0500 |
Adam Chlipala |
Catching integer divisions by zero |
| 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 |
| Sun, 20 Nov 2011 19:22:57 -0500 |
Adam Chlipala |
More complete account of URI determination in structure section |
| Sun, 20 Nov 2011 18:33:21 -0500 |
Adam Chlipala |
Don't treat comment-only lines as blank, in determining split point of .urp files |
| Sat, 19 Nov 2011 10:43:57 -0500 |
Adam Chlipala |
COALESCE |
| Sat, 19 Nov 2011 10:26:19 -0500 |
Adam Chlipala |
Better error messages when client-side constructs are detected in Cjrize |
| Fri, 18 Nov 2011 17:44:12 -0500 |
Adam Chlipala |
Fix catalog querying about empty tables |
| Fri, 18 Nov 2011 17:17:22 -0500 |
Adam Chlipala |
Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_error |
| Thu, 17 Nov 2011 17:19:10 +0100 |
Ron de Bruijn |
Merge |
| Thu, 17 Nov 2011 17:14:44 +0100 |
Ron de Bruijn |
Add read instance for time on the client |
