diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-07-18 12:28:25 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-07-18 12:28:25 -0400 |
| commit | 6f1551d31cc509cbccb5ef7033f8cc07692eb0c9 (patch) | |
| tree | 11c610cfa009abe0f8e56ea72cae7e933da671b4 /lib | |
| parent | f4843ec1efa5cd359fa07f2aead777f2673aa35a (diff) | |
Goodbye <font>; hello <h5> and <h6>
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ur/basis.urs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index d0a8af06..c4520ae7 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -569,12 +569,13 @@ val p : bodyTag boxEvents val b : bodyTag boxEvents val i : bodyTag boxEvents val tt : bodyTag boxEvents -val font : bodyTag ([Size = int, Face = string] ++ boxEvents) val h1 : bodyTag boxEvents val h2 : bodyTag boxEvents val h3 : bodyTag boxEvents val h4 : bodyTag boxEvents +val h5 : bodyTag boxEvents +val h6 : bodyTag boxEvents val li : bodyTag boxEvents val ol : bodyTag boxEvents |