comparison src/settings.sml @ 1625:bd34a4af516a

Change client-side debug to use console.debug
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Dec 2011 16:25:09 -0500
parents f96e708b4b93
children 438561303d02
comparison
equal deleted inserted replaced
1624:f96e708b4b93 1625:bd34a4af516a
268 268
269 ("eq_time", "eq"), 269 ("eq_time", "eq"),
270 ("lt_time", "lt"), 270 ("lt_time", "lt"),
271 ("le_time", "le"), 271 ("le_time", "le"),
272 272
273 ("debug", "alert"), 273 ("debug", "uw_debug"),
274 ("naughtyDebug", "alert"), 274 ("naughtyDebug", "uw_debug"),
275 275
276 ("floatFromInt", "float"), 276 ("floatFromInt", "float"),
277 ("ceil", "ceil"), 277 ("ceil", "ceil"),
278 ("trunc", "trunc"), 278 ("trunc", "trunc"),
279 ("round", "round"), 279 ("round", "round"),