log

age author description
Thu, 30 Oct 2008 14:40:42 -0400 Adam Chlipala Add time to some type classes
Thu, 30 Oct 2008 14:36:48 -0400 Adam Chlipala time type
Tue, 28 Oct 2008 15:05:16 -0400 Adam Chlipala GCCARGS configure option
Mon, 27 Oct 2008 08:27:45 -0400 Adam Chlipala Remove need for '() <-' notation