Mercurial > urweb

comparison lib/basis.urs @ 443:bd9ee9aeca2f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 16:58:54 -0400
parents c5335613f31e
children f45f23ae20ed
comparison
equal deleted inserted replaced
442:9095a95a1bf9 443:bd9ee9aeca2f
350 val i : bodyTag [] 350 val i : bodyTag []
351 val tt : bodyTag [] 351 val tt : bodyTag []
352 val font : bodyTag [Size = int, Face = string] 352 val font : bodyTag [Size = int, Face = string]
353 353
354 val h1 : bodyTag [] 354 val h1 : bodyTag []
355 val h2 : bodyTag []
356 val h3 : bodyTag []
357 val h4 : bodyTag []
355 val li : bodyTag [] 358 val li : bodyTag []
356 359
357 val hr : bodyTag [] 360 val hr : bodyTag []
358 361
359 val a : bodyTag [Link = transaction page] 362 val a : bodyTag [Link = transaction page]