comparison src/settings.sml @ 1571:f403e129c276

Primitive int/float functions: ceil, float, round, trunc
author Adam Chlipala <adam@chlipala.net>
date Sat, 08 Oct 2011 17:23:58 -0400
parents df6a7a22760a
children 154cfe2eb366
comparison
equal deleted inserted replaced
1570:c7d0328ba777 1571:f403e129c276
268 ("le_time", "le"), 268 ("le_time", "le"),
269 269
270 ("debug", "alert"), 270 ("debug", "alert"),
271 ("naughtyDebug", "alert"), 271 ("naughtyDebug", "alert"),
272 272
273 ("floatFromInt", "float"),
274 ("ceil", "ceil"),
275 ("trunc", "trunc"),
276 ("round", "round"),
277
273 ("now", "now"), 278 ("now", "now"),
274 ("timeToString", "showTime"), 279 ("timeToString", "showTime"),
275 ("htmlifyTime", "showTime"), 280 ("htmlifyTime", "showTime"),
276 ("toSeconds", "toSeconds"), 281 ("toSeconds", "toSeconds"),
277 ("addSeconds", "addSeconds"), 282 ("addSeconds", "addSeconds"),