log

age author description
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
Thu, 23 Jun 2011 08:44:03 -0400 Adam Chlipala 'show' instance for 'css_class'
Wed, 22 Jun 2011 13:58:43 -0430 Karn Kallio Add rowspan attribute to td,th elements.
Thu, 23 Jun 2011 00:01:52 -0430 Karn Kallio xtable monoize to string.
Fri, 17 Jun 2011 11:52:56 -0400 Adam Chlipala Fixes to work nicely with OS X and Clang (thanks to Austin Seipp)