log src/settings.sml

age author description
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
Wed, 06 Jul 2011 08:35:31 -0400 Adam Chlipala Add client-side Basis.now and pretty-printing of times
Fri, 24 Jun 2011 13:50:59 -0400 Adam Chlipala 'noXsrfProtection' .urp directive
Wed, 01 Jun 2011 07:23:27 -0400 Adam Chlipala Handle 'prefix' directives for HTTPS
Sun, 29 May 2011 14:29:26 -0400 Adam Chlipala getHeader and setHeader
Thu, 10 Mar 2011 20:22:03 -0500 Adam Chlipala Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files
Wed, 02 Mar 2011 18:35:03 -0500 Adam Chlipala Allow debug and naughtyDebug in client-side code, implemented with alert
Tue, 08 Feb 2011 16:54:01 -0500 Adam Chlipala Notice that Basis.now is effectful; smarter JavaScript encoding of initial source values built using server-side expressions that can't be turned into JavaScript
Thu, 20 Jan 2011 10:40:40 -0500 Adam Chlipala Patch from Vladimir Shabanov to support implicit passing of 'time' values from server to client
Thu, 13 Jan 2011 18:15:04 -0500 Adam Chlipala alwaysInline .urp setting
Tue, 11 Jan 2011 18:04:52 -0500 Adam Chlipala Some more string parsing functions; naughtyDebug
Sun, 26 Dec 2010 17:29:03 -0500 Adam Chlipala queryString and effectfulUrl
Fri, 24 Dec 2010 18:55:13 -0500 Adam Chlipala JavaScript compilation of time comparison; fix lexing of XML that includes open parens