log src/settings.sml

age author description
Sun, 20 Dec 2015 14:18:52 -0500 Adam Chlipala Merge Sqlcache
Fri, 20 Nov 2015 03:26:21 -0500 Ziv Scully Tweak cache consolidation and choose better default.
Thu, 19 Nov 2015 17:29:47 -0500 Ziv Scully Add consolidation heuristic options.
Thu, 12 Nov 2015 08:46:51 -0500 Ziv Scully Merge.
Mon, 19 Oct 2015 14:42:22 -0400 Ziv Scully Merge.
Wed, 14 Oct 2015 00:07:00 -0400 Ziv Scully Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.
Sat, 12 Sep 2015 17:11:33 -0400 Ziv Scully Merge.
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.