comparison src/settings.sml @ 1927:b6aee1d5b9b1

Add JavaScript mappings for isprint and ord
author Adam Chlipala <adam@chlipala.net>
date Mon, 09 Dec 2013 17:23:25 -0500
parents df6a040f5389
children cf7f7e51b0a2
comparison
equal deleted inserted replaced
1926:44f607a7f4cd 1927:b6aee1d5b9b1
297 ("isdigit", "isDigit"), 297 ("isdigit", "isDigit"),
298 ("isalnum", "isAlnum"), 298 ("isalnum", "isAlnum"),
299 ("isblank", "isBlank"), 299 ("isblank", "isBlank"),
300 ("isspace", "isSpace"), 300 ("isspace", "isSpace"),
301 ("isxdigit", "isXdigit"), 301 ("isxdigit", "isXdigit"),
302 ("isprint", "isPrint"),
302 ("tolower", "toLower"), 303 ("tolower", "toLower"),
303 ("toupper", "toUpper"), 304 ("toupper", "toUpper"),
305 ("ord", "ord"),
304 306
305 ("checkUrl", "checkUrl"), 307 ("checkUrl", "checkUrl"),
306 ("bless", "bless"), 308 ("bless", "bless"),
307 309
308 ("eq_time", "eq"), 310 ("eq_time", "eq"),