log

age author description
Wed, 06 Jul 2011 18:54:23 -0430 Karn Kallio Narrow Maybe match case.
Wed, 06 Jul 2011 09:22:08 -0400 Adam Chlipala Update demo/more for simplified implicit arguments
Wed, 06 Jul 2011 08:35:31 -0400 Adam Chlipala Add client-side Basis.now and pretty-printing of times
Sun, 03 Jul 2011 16:50:17 -0400 Adam Chlipala Change Basis.rand to use cryptographically secure generation
Sun, 03 Jul 2011 16:21:04 -0400 Adam Chlipala Basis.currentUrlHasQueryString
Sat, 02 Jul 2011 20:49:58 -0430 Karn Kallio Fix flift.
Sun, 03 Jul 2011 12:40:00 -0400 Adam Chlipala For non-debug builds, leave out source location info in what is shown to user
Tue, 28 Jun 2011 08:07:20 -0400 Adam Chlipala Clarify about implicit folder arguments
Mon, 27 Jun 2011 21:36:32 +0100 Robin Green recToList
Tue, 28 Jun 2011 11:55:57 +0100 Robin Green top.urs: More comments
Sun, 26 Jun 2011 19:45:21 -0400 Adam Chlipala Workaround for old IE handling of <option> with no 'value' attribute
Fri, 24 Jun 2011 13:50:59 -0400 Adam Chlipala 'noXsrfProtection' .urp directive