log src/settings.sml

age author description
Sat, 04 Feb 2012 11:01:06 -0500 Adam Chlipala Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
Thu, 02 Feb 2012 11:40:10 -0500 Adam Chlipala 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)
Sat, 17 Dec 2011 13:10:23 -0500 Adam Chlipala Allow .urp libraries to set prefix
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
Sat, 08 Oct 2011 17:23:58 -0400 Adam Chlipala Primitive int/float functions: ceil, float, round, trunc
Sun, 11 Sep 2011 14:14:49 -0400 Adam Chlipala New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov)
Sat, 03 Sep 2011 12:51:05 -0400 Adam Chlipala An abstract type of IDs
Sat, 03 Sep 2011 11:48:12 -0400 Adam Chlipala New client-side, document-level event handlers