diff 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
line wrap: on
line diff
--- a/src/settings.sml	Mon Dec 09 15:47:14 2013 -0500
+++ b/src/settings.sml	Mon Dec 09 17:23:25 2013 -0500
@@ -299,8 +299,10 @@
                           ("isblank", "isBlank"),
                           ("isspace", "isSpace"),
                           ("isxdigit", "isXdigit"),
+                          ("isprint", "isPrint"),
                           ("tolower", "toLower"),
                           ("toupper", "toUpper"),
+                          ("ord", "ord"),
 
                           ("checkUrl", "checkUrl"),
                           ("bless", "bless"),