Mercurial > gui

diff calendar.urs @ 27:5905b56e0cd9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Adapt to new HTML contexts
author Adam Chlipala <adam@chlipala.net>
date Tue, 20 Dec 2011 21:04:21 -0500
parents 554e342665fe
children
line wrap: on
line diff
--- a/calendar.urs	Fri Dec 09 17:38:20 2011 -0500
+++ b/calendar.urs	Tue Dec 20 21:04:21 2011 -0500
@@ -20,7 +20,7 @@
 val value : t -> signal date
 (* Read the date of the calendar. *)
 
-val gui_t : Gui.gui t []
+val gui_t : Gui.gui t body'
 (* Witness that this is a gui widget. *)
 
 val create : time -> transaction t