log lib.urp

age author description
Sat, 12 May 2012 10:03:44 -0400 Adam Chlipala Clean up dependencies and examples; add Style module
Thu, 18 Aug 2011 12:53:17 -0430 Karn Kallio Add RemotePager.
Sun, 07 Aug 2011 14:38:52 -0400 Adam Chlipala Replace ChangePoller with SourceL, plus some other rearrangements
Fri, 05 Aug 2011 18:55:24 -0430 Karn Kallio Write calendarCtl in terms of a source with a listener.
Fri, 22 Jul 2011 15:40:03 -0400 Adam Chlipala Clock
Fri, 17 Jun 2011 10:12:05 -0430 Karn Kallio Add a widget that opens and closes a panel.
Fri, 06 May 2011 23:00:22 -0430 Karn Kallio Shifted some more generic theme navigation code to the library.