| 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 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 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 |
| Sat, 26 Nov 2011 10:14:05 -0500 |
Adam Chlipala |
Switch to YUI strftime |
| 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 |
| Fri, 18 Nov 2011 17:17:22 -0500 |
Adam Chlipala |
Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_error |
