Mercurial > gui

diff calendar.urs @ 20:554e342665fe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add a new parameter to Gui.gui
author Adam Chlipala <adam@chlipala.net>
date Sat, 24 Sep 2011 15:47:00 -0400
parents 16447dc6a68c
children 5905b56e0cd9
line wrap: on
line diff
--- a/calendar.urs	Fri Sep 23 13:30:01 2011 +0200
+++ b/calendar.urs	Sat Sep 24 15:47:00 2011 -0400
@@ -20,7 +20,7 @@
 val value : t -> signal date
 (* Read the date of the calendar. *)
 
-val gui_t : Gui.gui t xbody
+val gui_t : Gui.gui t []
 (* Witness that this is a gui widget. *)
 
 val create : time -> transaction t