log lib/ur/basis.urs

age author description
Fri, 06 Dec 2013 13:59:39 +0400 Sergey Mironov Add activeHead tag.
Mon, 07 Oct 2013 14:08:53 +0400 Sergey Mironov Add <dl> <dt> <dd> tags
Mon, 07 Oct 2013 14:07:31 +0400 Sergey Mironov Add xhead type
Mon, 07 Oct 2013 14:07:06 +0400 Sergey Mironov Add <em> and <strong> tags
Fri, 09 Aug 2013 16:13:44 -0400 Adam Chlipala Add 'rel' attribute to <a>
Tue, 16 Apr 2013 10:55:48 -0400 Adam Chlipala Basis.tryRpc
Fri, 30 Nov 2012 10:02:13 -0500 Adam Chlipala add Placeholder attribute to <password>; change <textbox> code generation to set 'type' to 'text'
Wed, 28 Nov 2012 11:45:46 -0500 Adam Chlipala Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for it
Wed, 28 Nov 2012 11:41:54 -0500 Austin Seipp Standard library additions: Option.unsafeGet, Basis.exp
Wed, 22 Aug 2012 08:46:32 -0400 Adam Chlipala show_sql_query
Thu, 02 Aug 2012 16:33:25 -0400 Adam Chlipala Basis.getenv
Mon, 23 Jul 2012 08:38:39 -0400 Adam Chlipala Add more global mouse event hooks