summaryrefslogtreecommitdiff
path: root/lib/ur/datetime.ur
Commit message (Expand)AuthorAge
* Merge with small clean-upsGravatar Adam Chlipala2014-02-18
* Add datetime functions for adding time intervals.Gravatar Patrick Hurst2013-12-09
* Finish datetime -> t renameGravatar Patrick Hurst2013-12-08
* Add day-of-week/month <-> int conversion functions.Gravatar Patrick Hurst2013-12-07
* Day of week functions.Gravatar Patrick Hurst2013-12-05
* Basic datetime library.Gravatar Patrick Hurst2013-12-05