comparison src/settings.sml @ 2097:9272476e2a1c

Client-side conversion of string to bool
author Adam Chlipala <adam@chlipala.net>
date Thu, 25 Dec 2014 18:32:27 -0500
parents 6b7749da1ddc
children 1f1575eff4b9
comparison
equal deleted inserted replaced
2096:6b7749da1ddc 2097:9272476e2a1c
295 ("strcspn", "sspn"), 295 ("strcspn", "sspn"),
296 ("strlenGe", "strlenGe"), 296 ("strlenGe", "strlenGe"),
297 ("mouseEvent", "uw_mouseEvent"), 297 ("mouseEvent", "uw_mouseEvent"),
298 ("keyEvent", "uw_keyEvent"), 298 ("keyEvent", "uw_keyEvent"),
299 ("minTime", "0"), 299 ("minTime", "0"),
300 ("stringToBool_error", "s2be"),
301 ("stringToBool", "s2b"),
300 302
301 ("islower", "isLower"), 303 ("islower", "isLower"),
302 ("isupper", "isUpper"), 304 ("isupper", "isUpper"),
303 ("isalpha", "isAlpha"), 305 ("isalpha", "isAlpha"),
304 ("isdigit", "isDigit"), 306 ("isdigit", "isDigit"),