comparison src/settings.sml @ 2187:14c45a0b6362

Basis.fromMilliseconds
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Nov 2015 11:55:01 -0500
parents 74c762002352
children 43393a4a66ce
comparison
equal deleted inserted replaced
2186:d87d72b6e299 2187:14c45a0b6362
340 ("htmlifyTime", "showTimeHtml"), 340 ("htmlifyTime", "showTimeHtml"),
341 ("toSeconds", "toSeconds"), 341 ("toSeconds", "toSeconds"),
342 ("addSeconds", "addSeconds"), 342 ("addSeconds", "addSeconds"),
343 ("diffInSeconds", "diffInSeconds"), 343 ("diffInSeconds", "diffInSeconds"),
344 ("toMilliseconds", "toMilliseconds"), 344 ("toMilliseconds", "toMilliseconds"),
345 ("fromMilliseconds", "fromMilliseconds"),
345 ("diffInMilliseconds", "diffInMilliseconds"), 346 ("diffInMilliseconds", "diffInMilliseconds"),
346 347
347 ("fromDatetime", "fromDatetime"), 348 ("fromDatetime", "fromDatetime"),
348 ("datetimeYear", "datetimeYear"), 349 ("datetimeYear", "datetimeYear"),
349 ("datetimeMonth", "datetimeMonth"), 350 ("datetimeMonth", "datetimeMonth"),