Mercurial > urweb

diff src/settings.sml @ 838:5154a047c6bc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Jun 2009 19:28:25 -0400
parents 5e1a4b12c83a
children 44c2c089ca15
line wrap: on
line diff
--- a/src/settings.sml	Tue Jun 02 15:43:18 2009 -0400
+++ b/src/settings.sml	Tue Jun 02 19:28:25 2009 -0400
@@ -131,6 +131,8 @@
                           ("htmlifyString", "eh"),
                           ("new_client_source", "sc"),
                           ("set_client_source", "sv"),
+                          ("stringToFloat", "pflo"),
+                          ("stringToInt", "pio"),
                           ("stringToFloat_error", "pfl"),
                           ("stringToInt_error", "pi"),
                           ("urlifyInt", "ts"),