# HG changeset patch
# User Sergey Mironov <grrwlf@gmail.com>
# Date 1414332427 0
# Node ID 5439b35c5d0b7496e8dd8e128e5bef5d1f947a4b
# Parent  7bdfc365f45601b5bca4985b74f6a4f57103e4f8
Add 'download' attribute to <a/>, part of HTML5

diff -r 7bdfc365f456 -r 5439b35c5d0b lib/ur/basis.urs
--- a/lib/ur/basis.urs	Sat Feb 14 08:27:50 2015 -0500
+++ b/lib/ur/basis.urs	Sun Oct 26 14:07:07 2014 +0000
@@ -914,7 +914,7 @@
 val wbr : bodyTag boxAttrs
 val bdi : bodyTag boxAttrs
 
-val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string] ++ boxAttrs)
+val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string, Download = string] ++ boxAttrs)
 
 val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int,
                     Onabort = transaction unit, Onerror = transaction unit,