Mercurial > urweb
comparison lib/basis.lig @ 93:94afff1ff7f6
More fun with HTML
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 03 Jul 2008 17:14:35 -0400 |
parents | 4327abd52997 |
children | b1e5398a7f30 |
comparison
equal
deleted
inserted
replaced
92:1a4c51fa615c | 93:94afff1ff7f6 |
---|---|
18 -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared | 18 -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared |
19 | 19 |
20 | 20 |
21 val head : tag [Html] [Head] | 21 val head : tag [Html] [Head] |
22 val title : tag [Head] [] | 22 val title : tag [Head] [] |
23 | |
24 val body : tag [Html] [Body] | |
25 val p : tag [Body] [Body] | |
26 val b : tag [Body] [Body] | |
27 val i : tag [Body] [Body] |