comparison src/settings.sml @ 1624:f96e708b4b93

Client-side strlenGe
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Dec 2011 16:05:06 -0500
parents c6cc104a47ac
children bd34a4af516a
comparison
equal deleted inserted replaced
1623:218e2a9a53d0 1624:f96e708b4b93
246 ("strlen", "slen"), 246 ("strlen", "slen"),
247 ("strindex", "sidx"), 247 ("strindex", "sidx"),
248 ("strchr", "schr"), 248 ("strchr", "schr"),
249 ("substring", "ssub"), 249 ("substring", "ssub"),
250 ("strcspn", "sspn"), 250 ("strcspn", "sspn"),
251 ("strlenGe", "strlenGe"),
251 ("kc", "kc"), 252 ("kc", "kc"),
252 ("minTime", "0"), 253 ("minTime", "0"),
253 254
254 ("islower", "isLower"), 255 ("islower", "isLower"),
255 ("isupper", "isUpper"), 256 ("isupper", "isUpper"),