Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
716:a6941960f459 717:e28637743279
484 val ol : bodyTag [] 484 val ol : bodyTag []
485 val ul : bodyTag [] 485 val ul : bodyTag []
486 486
487 val hr : bodyTag [] 487 val hr : bodyTag []
488 488
489 val a : bodyTag [Link = transaction page, Onclick = transaction unit] 489 type url
490 val bless : string -> url
491 val a : bodyTag [Link = transaction page, Href = url, Onclick = transaction unit]
492
493 val img : bodyTag [Src = url]
490 494
491 val form : ctx ::: {Unit} -> bind ::: {Type} 495 val form : ctx ::: {Unit} -> bind ::: {Type}
492 -> [[Body] ~ ctx] => 496 -> [[Body] ~ ctx] =>
493 xml form [] bind 497 xml form [] bind
494 -> xml ([Body] ++ ctx) [] [] 498 -> xml ([Body] ++ ctx) [] []