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]