Mercurial > urweb

diff lib/ur/basis.urs @ 717:e28637743279

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
URLs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 16:36:50 -0400
parents 0f42461273cf
children f152f215a02c
line wrap: on
line diff
--- a/lib/ur/basis.urs	Thu Apr 09 15:58:36 2009 -0400
+++ b/lib/ur/basis.urs	Thu Apr 09 16:36:50 2009 -0400
@@ -486,7 +486,11 @@
 
 val hr : bodyTag []
 
-val a : bodyTag [Link = transaction page, Onclick = transaction unit]
+type url
+val bless : string -> url
+val a : bodyTag [Link = transaction page, Href = url, Onclick = transaction unit]
+
+val img : bodyTag [Src = url]
 
 val form : ctx ::: {Unit} -> bind ::: {Type}
             -> [[Body] ~ ctx] =>