Mercurial > urweb

diff lib/basis.lig @ 110:3739af9e727a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents d101cb1efe55
children 7fdc146b2bc2
line wrap: on
line diff
--- a/lib/basis.lig	Sun Jul 13 10:17:06 2008 -0400
+++ b/lib/basis.lig	Sun Jul 13 11:43:57 2008 -0400
@@ -20,6 +20,8 @@
         -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared
 
 
+con xhtml = xml [Html]
+
 val head : tag [] [Html] [Head]
 val title : tag [] [Head] []
 
@@ -28,3 +30,5 @@
 val b : tag [] [Body] [Body]
 val i : tag [] [Body] [Body]
 val font : tag [Size = int, Face = string] [Body] [Body]
+
+val a : tag [Link = xhtml] [Body] [Body]