Mercurial > gui
annotate 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 |
| rev | line source |
|---|---|
| adam@2 | 1 type t |
| adam@2 | 2 |
| adam@2 | 3 val create : transaction t |
| adam@2 | 4 val render : t -> xbody |
| adam@2 | 5 val value : t -> signal time |
| adam@2 | 6 |
| adam@2 | 7 style calendar |
| adam@2 | 8 style prev |
| adam@2 | 9 style this |
| adam@2 | 10 style next |
| adam@2 | 11 style weekday |
| adam@2 | 12 style curday |
| adam@2 | 13 style otherday |