log

age author description
Thu, 13 Jan 2011 18:15:04 -0500 Adam Chlipala alwaysInline .urp setting
Thu, 13 Jan 2011 13:20:14 -0500 Adam Chlipala Fixing daylight saving time in time string processing
Thu, 13 Jan 2011 13:02:45 -0500 Adam Chlipala Infer more regions, for sequencing constructs
Thu, 13 Jan 2011 10:02:50 -0500 Adam Chlipala More string processing