--- a/datebox.urs	Tue Feb 08 16:06:31 2011 -0500
+++ b/datebox.urs	Tue Feb 08 16:52:29 2011 -0500
@@ -1,8 +1,10 @@
 type t
 
-val create : transaction t
+type date = {Year : int, Month : int, Day : int}
+
+val create : time -> transaction t
 val render : t -> xbody
-val value : t -> signal {Year : int, Month : int, Day : int}
+val value : t -> signal date
 
 style calendar
 style prev
@@ -11,3 +13,4 @@
 style weekday
 style curday
 style otherday
+style selday