diff lib/ur/basis.urs @ 718:f152f215a02c

style declarations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 10:08:11 -0400
parents e28637743279
children 5c099b1308ae
line wrap: on
line diff
--- a/lib/ur/basis.urs	Thu Apr 09 16:36:50 2009 -0400
+++ b/lib/ur/basis.urs	Sun Apr 12 10:08:11 2009 -0400
@@ -405,6 +405,9 @@
 
 (** XML *)
 
+con css_class :: {Unit} -> Type
+(* The argument lists categories of properties that this class could set usefully. *)
+
 con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
 
 
@@ -440,6 +443,7 @@
 con xtr = xml [Body, Tr] [] []
 con xform = xml [Body, Form] [] []
 
+
 (*** HTML details *)
 
 con html = [Html]