Mercurial > urweb

comparison lib/ur/basis.urs @ 1567:5691ec310618

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.null
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Oct 2011 09:50:40 -0400
parents 63311c13d9f7
children f403e129c276
comparison
equal deleted inserted replaced
1566:7328dfeb7c0f 1567:5691ec310618
600 600
601 (** XML *) 601 (** XML *)
602 602
603 type css_class 603 type css_class
604 val show_css_class : show css_class 604 val show_css_class : show css_class
605 val null : css_class
606 (* No special formatting *)
605 val classes : css_class -> css_class -> css_class 607 val classes : css_class -> css_class -> css_class
606 (* The equivalent of writing one class after the other, separated by a space, in 608 (* The equivalent of writing one class after the other, separated by a space, in
607 * an HTML 'class' attribute *) 609 * an HTML 'class' attribute *)
608 610
609 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type 611 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type