Mercurial > urweb
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"), |