Mercurial > urweb

comparison lib/ur/basis.urs @ 893:062d97847473

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Goodbye <font>; hello <h5> and <h6>
author Adam Chlipala <adamc@hcoop.net>
date Sat, 18 Jul 2009 12:28:25 -0400
parents e04af9641067
children a3f58978ff32
comparison
equal deleted inserted replaced
892:e04af9641067 893:062d97847473
567 567
568 val p : bodyTag boxEvents 568 val p : bodyTag boxEvents
569 val b : bodyTag boxEvents 569 val b : bodyTag boxEvents
570 val i : bodyTag boxEvents 570 val i : bodyTag boxEvents
571 val tt : bodyTag boxEvents 571 val tt : bodyTag boxEvents
572 val font : bodyTag ([Size = int, Face = string] ++ boxEvents)
573 572
574 val h1 : bodyTag boxEvents 573 val h1 : bodyTag boxEvents
575 val h2 : bodyTag boxEvents 574 val h2 : bodyTag boxEvents
576 val h3 : bodyTag boxEvents 575 val h3 : bodyTag boxEvents
577 val h4 : bodyTag boxEvents 576 val h4 : bodyTag boxEvents
577 val h5 : bodyTag boxEvents
578 val h6 : bodyTag boxEvents
578 579
579 val li : bodyTag boxEvents 580 val li : bodyTag boxEvents
580 val ol : bodyTag boxEvents 581 val ol : bodyTag boxEvents
581 val ul : bodyTag boxEvents 582 val ul : bodyTag boxEvents
582 583