log src/settings.sml

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