Mercurial > gui

diff datebox.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/datebox.urs	Fri Dec 09 17:38:20 2011 -0500
+++ b/datebox.urs	Tue Dec 20 21:04:21 2011 -0500
@@ -22,5 +22,5 @@
 val value : t -> signal date
 (* Extract the current date value. *)
 
-val gui_t : Gui.gui t []
+val gui_t : Gui.gui t body'
 (* Draws the datebox as a piece of xml. *)