Mercurial > urweb

comparison lib/basis.urs @ 469:b393c2fc80f8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
About to begin optimization of recursive transaction functions
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 17:09:53 -0500
parents 3f1b9231a37b
children 7cb418e9714f
comparison
equal deleted inserted replaced
468:4efab85405be 469:b393c2fc80f8
372 372
373 val h1 : bodyTag [] 373 val h1 : bodyTag []
374 val h2 : bodyTag [] 374 val h2 : bodyTag []
375 val h3 : bodyTag [] 375 val h3 : bodyTag []
376 val h4 : bodyTag [] 376 val h4 : bodyTag []
377
377 val li : bodyTag [] 378 val li : bodyTag []
379 val ol : bodyTag []
380 val ul : bodyTag []
378 381
379 val hr : bodyTag [] 382 val hr : bodyTag []
380 383
381 val a : bodyTag [Link = transaction page] 384 val a : bodyTag [Link = transaction page]
382 385