log tests/millis.ur

age author description
2012-02-04 Adam Chlipala Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday