log

age author description
2013-11-21 Adam Chlipala CKeditor wrapperdefault tip
2013-11-21 Adam Chlipala Update for Ur/Web's new tag name resolution
2012-07-29 Adam Chlipala Update for Ur/Web's new type class handling
2012-07-21 Adam Chlipala Update for key/mouse handler change
2012-05-12 Adam Chlipala Add margin example
2012-05-12 Adam Chlipala Clean up dependencies and examples; add Style module
2012-02-12 Adam Chlipala TogglePanel.isOpen
2011-12-21 Adam Chlipala Adapt to new HTML contexts
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