Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/lib/ur/basis.urs	Mon Sep 26 03:29:09 2011 +0400
+++ b/lib/ur/basis.urs	Thu Oct 06 09:50:40 2011 -0400
@@ -602,6 +602,8 @@
 
 type css_class
 val show_css_class : show css_class
+val null : css_class
+(* No special formatting *)
 val classes : css_class -> css_class -> css_class
 (* The equivalent of writing one class after the other, separated by a space, in
  * an HTML 'class' attribute *)