Mercurial > urweb
comparison lib/basis.urs @ 332:02d15d81ae9b
foldTRX2
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 13 Sep 2008 11:13:46 -0400 |
parents | 950320f33232 |
children | e976b187d73a |
comparison
equal
deleted
inserted
replaced
331:41458a694575 | 332:02d15d81ae9b |
---|---|
257 | 257 |
258 con html = [Html] | 258 con html = [Html] |
259 con head = [Head] | 259 con head = [Head] |
260 con body = [Body] | 260 con body = [Body] |
261 con lform = [Body, LForm] | 261 con lform = [Body, LForm] |
262 con tabl = [Body, Table] | |
263 con tr = [Body, Tr] | |
262 | 264 |
263 val head : unit -> tag [] html head [] [] | 265 val head : unit -> tag [] html head [] [] |
264 val title : unit -> tag [] head [] [] [] | 266 val title : unit -> tag [] head [] [] [] |
265 | 267 |
266 val body : unit -> tag [] html body [] [] | 268 val body : unit -> tag [] html body [] [] |