Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge with small clean-ups | Adam Chlipala | 2014-02-18 |
* | Add datetime functions for adding time intervals. | Patrick Hurst | 2013-12-09 |
* | Finish datetime -> t rename | Patrick Hurst | 2013-12-08 |
* | Add day-of-week/month <-> int conversion functions. | Patrick Hurst | 2013-12-07 |
* | Day of week functions. | Patrick Hurst | 2013-12-05 |
* | Basic datetime library. | Patrick Hurst | 2013-12-05 |