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]