Sun, 11 Dec 2011 15:02:55 -0500 |
Adam Chlipala |
Some new List functions, based on code by Ron de Bruijn |
Mon, 05 Dec 2011 10:43:06 -0500 |
Adam Chlipala |
Treat [naughtyDebug] as pure for optimization purposes |
Sun, 04 Dec 2011 16:32:06 -0500 |
Adam Chlipala |
Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript |
Sun, 04 Dec 2011 15:18:41 -0500 |
Adam Chlipala |
Make last change nicer |
Sun, 04 Dec 2011 15:13:53 -0500 |
Adam Chlipala |
Stop [read] from raising an exception for invalid [int] strings |
Sun, 04 Dec 2011 14:40:12 -0500 |
Adam Chlipala |
timeFormat .urp directive |
Sat, 03 Dec 2011 17:25:51 -0500 |
Adam Chlipala |
Don't crash on invalid URL head terms during Tag |
Sat, 03 Dec 2011 17:07:34 -0500 |
Adam Chlipala |
New 't.*' notation for SELECT |
Sat, 03 Dec 2011 16:39:45 -0500 |
Adam Chlipala |
Nicer record summary error messages |
Sat, 03 Dec 2011 16:25:09 -0500 |
Adam Chlipala |
Change client-side debug to use console.debug |
Sat, 03 Dec 2011 16:05:06 -0500 |
Adam Chlipala |
Client-side strlenGe |
Sat, 03 Dec 2011 15:59:21 -0500 |
Adam Chlipala |
Better error messages about non-SQL-izability of types |
Sat, 03 Dec 2011 10:13:36 -0500 |
Adam Chlipala |
Avoid setting a Date's time with a non-integer value |
Sat, 03 Dec 2011 10:07:50 -0500 |
Adam Chlipala |
Change client-side int parsing to match server-side, in ignoring initial zeroes |
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 |