Mercurial > urweb
log lib/ur/datetime.ur
age | author | description |
---|---|---|
2014-02-18 | Adam Chlipala | Merge with small clean-ups |
2013-12-10 | Patrick Hurst | Add datetime functions for adding time intervals. |
2013-12-08 | Patrick Hurst | Finish datetime -> t rename |
2013-12-08 | Patrick Hurst | Add day-of-week/month <-> int conversion functions. |
2013-12-05 | Patrick Hurst | Day of week functions. |
2013-12-05 | Patrick Hurst | Basic datetime library. |