Tue, 27 Dec 2011 16:20:48 -0500 |
Adam Chlipala |
'dynClass' pseudo-attribute |
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 |