Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
109:813e5a52063d 110:3739af9e727a
18 -> ctx1 ::: {Unit} -> ctx1 ~ shared 18 -> ctx1 ::: {Unit} -> ctx1 ~ shared
19 -> ctx2 ::: {Unit} -> ctx2 ~ shared 19 -> ctx2 ::: {Unit} -> ctx2 ~ shared
20 -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared 20 -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared
21 21
22 22
23 con xhtml = xml [Html]
24
23 val head : tag [] [Html] [Head] 25 val head : tag [] [Html] [Head]
24 val title : tag [] [Head] [] 26 val title : tag [] [Head] []
25 27
26 val body : tag [] [Html] [Body] 28 val body : tag [] [Html] [Body]
27 val p : tag [] [Body] [Body] 29 val p : tag [] [Body] [Body]
28 val b : tag [] [Body] [Body] 30 val b : tag [] [Body] [Body]
29 val i : tag [] [Body] [Body] 31 val i : tag [] [Body] [Body]
30 val font : tag [Size = int, Face = string] [Body] [Body] 32 val font : tag [Size = int, Face = string] [Body] [Body]
33
34 val a : tag [Link = xhtml] [Body] [Body]