log

age author description
Sun, 08 Dec 2013 03:25:31 -0500 Patrick Hurst Rename datetime type to t in the .urs file.
Sat, 07 Dec 2013 21:31:51 -0500 Patrick Hurst Add day-of-week/month <-> int conversion functions.
Thu, 05 Dec 2013 11:36:54 -0500 Patrick Hurst Day of week functions.
Thu, 05 Dec 2013 11:36:46 -0500 Patrick Hurst Basic datetime library.
Thu, 05 Dec 2013 11:36:06 -0500 Patrick Hurst Add basic year/month/day/hour/minute/second <-> time functions.
Mon, 17 Feb 2014 14:34:48 -0500 Adam Chlipala MySQL does case-sensitive catalog queries
Sat, 15 Feb 2014 10:06:18 -0500 Adam Chlipala Use neverInline in reduce