comparison src/settings.sml @ 1685:225b87d4a7df

Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Feb 2012 11:01:06 -0500
parents ac141fbb313a
children c414850f206f
comparison
equal deleted inserted replaced
1684:9dd8d47c3e58 1685:225b87d4a7df
284 ("timeToString", "showTime"), 284 ("timeToString", "showTime"),
285 ("htmlifyTime", "showTimeHtml"), 285 ("htmlifyTime", "showTimeHtml"),
286 ("toSeconds", "toSeconds"), 286 ("toSeconds", "toSeconds"),
287 ("addSeconds", "addSeconds"), 287 ("addSeconds", "addSeconds"),
288 ("diffInSeconds", "diffInSeconds"), 288 ("diffInSeconds", "diffInSeconds"),
289 ("toMilliseconds", "toMilliseconds"),
290 ("diffInMilliseconds", "diffInMilliseconds"),
289 291
290 ("onClick", "uw_onClick"), 292 ("onClick", "uw_onClick"),
291 ("onDblclick", "uw_onDblclick"), 293 ("onDblclick", "uw_onDblclick"),
292 ("onKeydown", "uw_onKeydown"), 294 ("onKeydown", "uw_onKeydown"),
293 ("onKeypress", "uw_onKeypress"), 295 ("onKeypress", "uw_onKeypress"),