log lib/ur/basis.urs

age author description
Sat, 21 Jul 2012 11:59:41 -0400 Adam Chlipala Basis.giveFocus
Sat, 21 Jul 2012 10:02:53 -0400 Adam Chlipala New event records for key and mouse handlers
Sun, 03 Jun 2012 11:29:31 -0400 Adam Chlipala Lighter-weight encoding of window function use
Sat, 02 Jun 2012 16:47:09 -0400 Adam Chlipala Partitioning and ordering for window functions
Sat, 02 Jun 2012 16:00:50 -0400 Adam Chlipala Compiled a window function use
Sat, 02 Jun 2012 15:35:58 -0400 Adam Chlipala Track whether SQL expressions may use window functions, in preparation for actual window function support
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)
Tue, 27 Dec 2011 16:20:48 -0500 Adam Chlipala 'dynClass' pseudo-attribute
Tue, 20 Dec 2011 21:06:25 -0500 Adam Chlipala Refactor HTML contexts to prevent some illegal nestings (that can crash the JavaScript runtime system)