Mercurial > urweb
log src/settings.sml
age | author | description |
---|---|---|
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 |
Wed, 01 Jun 2011 07:23:27 -0400 | Adam Chlipala | Handle 'prefix' directives for HTTPS |