log src/settings.sml

age author description
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