Mercurial > gui
view datebox.urs @ 11:ccd0a169e827
Clock corrects for skew, so that it matches server time (if an RPC round-trips fast enough)
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 24 Jul 2011 14:51:16 -0400 |
parents | 4385bc6a0d2d |
children | bbdedfde154e |
line wrap: on
line source
type t type date = {Year : int, Month : int, Day : int} val date_ord : ord date val time : date -> time val create : time -> transaction t val render : t -> xbody val value : t -> signal date style calendar style prev style this style next style weekday style curday style otherday style selday