comparison 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
comparison
equal deleted inserted replaced
2225:6262dabc08d6 2226:e10881cd92da
912 val summary : bodyTag boxAttrs 912 val summary : bodyTag boxAttrs
913 val time : bodyTag boxAttrs 913 val time : bodyTag boxAttrs
914 val wbr : bodyTag boxAttrs 914 val wbr : bodyTag boxAttrs
915 val bdi : bodyTag boxAttrs 915 val bdi : bodyTag boxAttrs
916 916
917 val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string] ++ boxAttrs) 917 val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string, Download = string] ++ boxAttrs)
918 918
919 val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int, 919 val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int,
920 Onabort = transaction unit, Onerror = transaction unit, 920 Onabort = transaction unit, Onerror = transaction unit,
921 Onload = transaction unit] ++ boxAttrs) 921 Onload = transaction unit] ++ boxAttrs)
922 922