log lib/ur/basis.urs

age author description
Thu, 07 May 2015 16:12:06 -0400 Julian Squires Add onChange handler to radioOption
Thu, 02 Jul 2015 13:02:37 -0400 Adam Chlipala Add HTML 'align' attribute
Thu, 02 Jul 2015 12:42:49 -0400 Adam Chlipala Allow mouse and key events for <body>
Mon, 04 May 2015 13:22:29 -0400 Julian Squires Add fieldset and legend tags
Tue, 07 Apr 2015 14:18:53 -0400 Ziv Scully New mouse events oncontextmenu, onmouseenter, and onmouseleave.
Sun, 26 Oct 2014 14:07:07 +0000 Sergey Mironov Add 'download' attribute to <a/>, part of HTML5
Sun, 16 Nov 2014 15:20:13 -0500 Adam Chlipala More HTML5 AJAX widgets