Mercurial > urweb

comparison lib/ur/basis.urs @ 1129:4f3a1aa3b66d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<img> has dimensions and needs special HTML handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 26 Jan 2010 08:46:25 -0500
parents e1cf925e2074
children 32710de7227b
comparison
equal deleted inserted replaced
1128:e1cf925e2074 1129:4f3a1aa3b66d
652 652
653 val hr : bodyTag boxAttrs 653 val hr : bodyTag boxAttrs
654 654
655 val a : bodyTag ([Link = transaction page, Href = url] ++ boxAttrs) 655 val a : bodyTag ([Link = transaction page, Href = url] ++ boxAttrs)
656 656
657 val img : bodyTag ([Src = url, Onabort = transaction unit, Onerror = transaction unit, 657 val img : bodyTag ([Src = url, Width = int, Height = int,
658 Onabort = transaction unit, Onerror = transaction unit,
658 Onload = transaction unit] ++ boxAttrs) 659 Onload = transaction unit] ++ boxAttrs)
659 660
660 val form : ctx ::: {Unit} -> bind ::: {Type} 661 val form : ctx ::: {Unit} -> bind ::: {Type}
661 -> [[Body, Form, Table] ~ ctx] => 662 -> [[Body, Form, Table] ~ ctx] =>
662 xml ([Body, Form] ++ ctx) [] bind 663 xml ([Body, Form] ++ ctx) [] bind