# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1295956769 18000
# Node ID 00b79f39be250a00607e480e1214afe1b6963b39
# Parent  22674ac8ebe6342159fbc28b07baac8ce204dd6b
Allow 'alt' attribute of <img> (suggested by Karn Kallio)

diff -r 22674ac8ebe6 -r 00b79f39be25 lib/ur/basis.urs
--- a/lib/ur/basis.urs	Sun Jan 23 18:16:30 2011 -0500
+++ b/lib/ur/basis.urs	Tue Jan 25 06:59:29 2011 -0500
@@ -704,7 +704,7 @@
 
 val a : bodyTag ([Link = transaction page, Href = url] ++ boxAttrs)
 
-val img : bodyTag ([Src = url, Width = int, Height = int,
+val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int,
                     Onabort = transaction unit, Onerror = transaction unit,
                     Onload = transaction unit] ++ boxAttrs)