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