Mercurial > urweb
comparison lib/basis.urs @ 326:950320f33232
Crud list works
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 11 Sep 2008 18:32:41 -0400 |
parents | e457d8972ff1 |
children | 02d15d81ae9b |
comparison
equal
deleted
inserted
replaced
325:e457d8972ff1 | 326:950320f33232 |
---|---|
249 -> xml ctx (use1 ++ use2) bind | 249 -> xml ctx (use1 ++ use2) bind |
250 | 250 |
251 con xhtml = xml [Html] | 251 con xhtml = xml [Html] |
252 con page = xhtml [] [] | 252 con page = xhtml [] [] |
253 con xbody = xml [Body] [] [] | 253 con xbody = xml [Body] [] [] |
254 con xtr = xml [Body, Tr] [] [] | |
254 | 255 |
255 (*** HTML details *) | 256 (*** HTML details *) |
256 | 257 |
257 con html = [Html] | 258 con html = [Html] |
258 con head = [Head] | 259 con head = [Head] |