Mercurial > urweb

diff src/settings.sml @ 2045:534577e429e1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added javascript for Basis.strsindex
author Samuel Dukhovni <dukhovni@mit.edu>
date Mon, 28 Jul 2014 20:18:43 -0400
parents 6372a742ab04
children ced78ef1c82f
line wrap: on
line diff
--- a/src/settings.sml	Tue Jul 29 14:46:06 2014 -0400
+++ b/src/settings.sml	Mon Jul 28 20:18:43 2014 -0400
@@ -289,6 +289,7 @@
                           ("strsuffix", "suf"),
                           ("strlen", "slen"),
                           ("strindex", "sidx"),
+                          ("strsindex", "ssidx"),
                           ("strchr", "schr"),
                           ("substring", "ssub"),
                           ("strcspn", "sspn"),