Mercurial > urweb
comparison lib/basis.urs @ 407:345fcf91c806
Rec demo
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 21 Oct 2008 17:34:20 -0400 |
parents | a71600cac815 |
children | c5a3d223f157 |
comparison
equal
deleted
inserted
replaced
406:a71600cac815 | 407:345fcf91c806 |
---|---|
331 val br : bodyTagStandalone [] | 331 val br : bodyTagStandalone [] |
332 | 332 |
333 val p : bodyTag [] | 333 val p : bodyTag [] |
334 val b : bodyTag [] | 334 val b : bodyTag [] |
335 val i : bodyTag [] | 335 val i : bodyTag [] |
336 val tt : bodyTag [] | |
336 val font : bodyTag [Size = int, Face = string] | 337 val font : bodyTag [Size = int, Face = string] |
337 | 338 |
338 val h1 : bodyTag [] | 339 val h1 : bodyTag [] |
339 val li : bodyTag [] | 340 val li : bodyTag [] |
340 | 341 |