diff lib/ur/basis.urs @ 2226:e10881cd92da

Merge.
author Ziv Scully <ziv@mit.edu>
date Fri, 27 Mar 2015 11:26:06 -0400
parents 5439b35c5d0b
children e8863d9f8c59
line wrap: on
line diff
--- a/lib/ur/basis.urs	Fri Mar 27 11:19:15 2015 -0400
+++ b/lib/ur/basis.urs	Fri Mar 27 11:26:06 2015 -0400
@@ -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,