Mon, 05 Dec 2011 10:43:06 -0500 |
Adam Chlipala |
Treat [naughtyDebug] as pure for optimization purposes |
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 |
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 |
Thu, 17 Nov 2011 17:14:44 +0100 |
Ron de Bruijn |
Add read instance for time on the client |
Mon, 14 Nov 2011 09:15:10 -0500 |
Adam Chlipala |
Better error messages about server-side use of client-side functions |