log

age author description
2011-12-09 Adam Chlipala Change more dashes to slashes, for JavaScript compatibility
2011-12-04 Adam Chlipala Change time format to work portably in JavaScript
2011-12-04 Ron de Bruijn Be able to obtain the name from a navItem
2011-09-24 Karn Kallio Merge from Adam.
2011-08-22 Karn Kallio Comment corrections based on code review.
2011-09-24 Adam Chlipala Tweak TogglePanel signature
2011-09-24 Adam Chlipala Add a new parameter to Gui.gui
2011-09-23 Ron de Bruijn Partial generalize togglePanel solution (breaks build)
2011-09-22 Ron de Bruijn Introduction of multi-parameter type class for gui components
2011-08-21 Adam Chlipala Fix sign error in clock skew correction
2011-08-18 Karn Kallio Add RemotePager.
2011-08-07 Adam Chlipala Replace ChangePoller with SourceL, plus some other rearrangements
2011-08-05 Karn Kallio Write calendarCtl in terms of a source with a listener.
2011-07-28 Karn Kallio Repair calendarCtl : adjust monthinfo when set.
2011-07-28 Karn Kallio Add a calendar control.
2011-07-24 Adam Chlipala Clock corrects for skew, so that it matches server time (if an RPC round-trips fast enough)
2011-07-22 Adam Chlipala Clock
2011-06-21 Karn Kallio Add version of warning with a format wrapper.
2011-06-17 Karn Kallio Add a widget that opens and closes a panel.
2011-05-07 Karn Kallio Shifted some more generic theme navigation code to the library.
2011-04-27 Karn Kallio Shifting some generic theme navigation menu code to the library.
2011-02-10 Adam Chlipala Some Datebox functions related to dates
2011-02-08 Adam Chlipala Fully-functional Datebox
2011-02-08 Adam Chlipala Seeking through months with Datebox
2011-02-08 Adam Chlipala Start of datebox: calendarizing current month correctly
2011-01-06 Adam Chlipala Some help with building forms
2010-12-14 Adam Chlipala Import code from elsewhere