log src/settings.sml

age author description
Wed, 06 May 2015 14:51:09 -0400 Ziv Scully Merge.
Tue, 07 Apr 2015 17:26:53 -0400 Ziv Scully Merge.
Tue, 07 Apr 2015 14:18:53 -0400 Ziv Scully New mouse events oncontextmenu, onmouseenter, and onmouseleave.
Fri, 27 Mar 2015 11:26:06 -0400 Ziv Scully Merge.
Tue, 14 Oct 2014 18:05:09 -0400 Ziv Scully Complete overhaul: cache queries based on immediate query result, not eventual HTML output.
Sat, 05 Dec 2015 12:04:06 -0500 Adam Chlipala New .urp directive: jsFile
Sun, 22 Nov 2015 10:03:35 -0500 Adam Chlipala Make daemon mode support sharing of libraries across projects
Sun, 01 Nov 2015 14:17:09 -0500 Adam Chlipala JavaScript versions of a few more functions
Sun, 01 Nov 2015 11:55:01 -0500 Adam Chlipala Basis.fromMilliseconds
Sun, 18 Oct 2015 16:03:56 -0400 Adam Chlipala Allow duplicate 'file' directives if paths normalize to same value
Thu, 20 Aug 2015 15:11:40 -0400 Adam Chlipala Beautify '-h' output for web servers
Fri, 24 Apr 2015 07:51:47 -0400 Julian Squires Allow file directives to contain slashes
Tue, 07 Apr 2015 14:18:53 -0400 Ziv Scully New mouse events oncontextmenu, onmouseenter, and onmouseleave.
Sun, 08 Mar 2015 10:55:05 -0400 Adam Chlipala Fix interpretation of 'file' argument paths
Thu, 22 Jan 2015 11:26:24 -0500 Adam Chlipala Fix case issue in name mangling for MySQL
Thu, 25 Dec 2014 18:32:27 -0500 Adam Chlipala Client-side conversion of string to bool
Wed, 24 Dec 2014 12:35:20 -0500 Adam Chlipala Broaden handling of wildcard rewrites
Thu, 31 Jul 2014 09:56:41 -0400 Adam Chlipala New .urp directive: file
Mon, 28 Jul 2014 20:18:43 -0400 Samuel Dukhovni Added javascript for Basis.strsindex
Thu, 05 Jun 2014 20:36:12 +0000 Sergey Mironov Allow '+' char in blessMime
Fri, 02 May 2014 19:19:09 -0400 Adam Chlipala New lessSafeFfi
Fri, 02 May 2014 15:32:10 -0400 Adam Chlipala HTML5 data-* attributes
Mon, 17 Feb 2014 19:21:46 -0500 Patrick Hurst Add Datetime JavaScript support.
Mon, 20 Jan 2014 04:34:42 -0500 Patrick Hurst Bare-bones Datetime JS support.
Sun, 09 Feb 2014 19:29:36 -0500 Adam Chlipala neverInline
Wed, 15 Jan 2014 15:46:46 -0500 Adam Chlipala Stop quoting Postgres identifiers in 'noMangleSql' mode
Thu, 09 Jan 2014 17:27:24 -0500 Adam Chlipala Add 'html5' .urp directive
Sat, 04 Jan 2014 19:02:14 -0500 Adam Chlipala noMangleSql .urp directive
Wed, 01 Jan 2014 10:51:47 -0500 Adam Chlipala Add some URL-related benignEffectful functions
Mon, 09 Dec 2013 17:23:25 -0500 Adam Chlipala Add JavaScript mappings for isprint and ord
Thu, 10 Oct 2013 18:01:30 -0400 Adam Chlipala Make transactional FFI functions effectful by default
Tue, 20 Aug 2013 17:13:50 +0400 Sergey Mironov Add -ccompiler command line argument
Fri, 14 Sep 2012 07:35:48 -0400 Adam Chlipala Reduce default inlining thresholds; improve a let-substitution optimization to compensate
Thu, 02 Aug 2012 16:33:25 -0400 Adam Chlipala Basis.getenv
Mon, 23 Jul 2012 08:38:39 -0400 Adam Chlipala Add more global mouse event hooks
Sat, 21 Jul 2012 15:16:57 -0400 Adam Chlipala Top.postFields
Sat, 21 Jul 2012 11:59:41 -0400 Adam Chlipala Basis.giveFocus
Sat, 21 Jul 2012 10:02:53 -0400 Adam Chlipala New event records for key and mouse handlers
Sun, 03 Jun 2012 11:29:31 -0400 Adam Chlipala Lighter-weight encoding of window function use
Sat, 02 Jun 2012 16:47:09 -0400 Adam Chlipala Partitioning and ordering for window functions
Sun, 06 May 2012 16:08:48 -0400 Adam Chlipala Run-time CSS style validation
Sun, 06 May 2012 15:27:30 -0400 Adam Chlipala New optional suffice for 'rewrite' in .urp files: [-]
Wed, 02 May 2012 17:17:57 -0400 Edward Z. Yang Add support for -boot flag, which allows in-tree execution of Ur/Web
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
Sun, 24 Jul 2011 14:49:40 -0400 Adam Chlipala Client-side 'addSeconds'
Fri, 22 Jul 2011 15:39:38 -0400 Adam Chlipala Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds