log lib/ur/basis.urs

age author description
Sun, 06 May 2012 15:15:46 -0400 Adam Chlipala 'dynStyle' pseudo-attribute
Sun, 06 May 2012 14:01:29 -0400 Adam Chlipala 'style' attributes
Sun, 06 May 2012 13:07:13 -0400 Adam Chlipala Simplify type of Basis.tag, regarding 'class' attribute; new compatibility parsing of 'class' values given as string literals
Sun, 15 Apr 2012 12:40:53 -0400 Adam Chlipala Remove string-valued style attribute, which may allow injection attacks
Wed, 11 Apr 2012 03:03:19 +0400 Vladimir Shabanov Added several missing tag attributes
Sat, 10 Mar 2012 12:53:33 -0500 Adam Chlipala Change <radio> to yield [option string]
Sat, 04 Feb 2012 11:01:06 -0500 Adam Chlipala Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
Thu, 02 Feb 2012 11:40:10 -0500 Adam Chlipala 'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)