comparison datebox.urs @ 2:33c83ae7c9af

Start of datebox: calendarizing current month correctly
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Feb 2011 15:51:42 -0500
parents
children 8cab48efaff2
comparison
equal deleted inserted replaced
1:4d8165e8f89a 2:33c83ae7c9af
1 type t
2
3 val create : transaction t
4 val render : t -> xbody
5 val value : t -> signal time
6
7 style calendar
8 style prev
9 style this
10 style next
11 style weekday
12 style curday
13 style otherday