Mercurial > urweb

comparison lib/ur/basis.urs @ 1419:00b79f39be25

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Allow 'alt' attribute of <img> (suggested by Karn Kallio)
author Adam Chlipala <adam@chlipala.net>
date Tue, 25 Jan 2011 06:59:29 -0500
parents 5f4fee8a4dcd
children 3dab4696d116
comparison
equal deleted inserted replaced
1418:22674ac8ebe6 1419:00b79f39be25
702 702
703 val hr : bodyTag boxAttrs 703 val hr : bodyTag boxAttrs
704 704
705 val a : bodyTag ([Link = transaction page, Href = url] ++ boxAttrs) 705 val a : bodyTag ([Link = transaction page, Href = url] ++ boxAttrs)
706 706
707 val img : bodyTag ([Src = url, Width = int, Height = int, 707 val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int,
708 Onabort = transaction unit, Onerror = transaction unit, 708 Onabort = transaction unit, Onerror = transaction unit,
709 Onload = transaction unit] ++ boxAttrs) 709 Onload = transaction unit] ++ boxAttrs)
710 710
711 val form : ctx ::: {Unit} -> bind ::: {Type} 711 val form : ctx ::: {Unit} -> bind ::: {Type}
712 -> [[Body, Form, Table] ~ ctx] => 712 -> [[Body, Form, Table] ~ ctx] =>