Mercurial > urweb
comparison src/settings.sml @ 1599:252e05bf199d
Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_error
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 18 Nov 2011 17:17:22 -0500 |
parents | e283ca05c829 |
children | c6cc104a47ac |
comparison
equal
deleted
inserted
replaced
1598:cdca9691434a | 1599:252e05bf199d |
---|---|
202 fun isServerOnly x = S.member (!server, x) | 202 fun isServerOnly x = S.member (!server, x) |
203 | 203 |
204 val basisM = foldl (fn ((k, v : string), m) => M.insert (m, ("Basis", k), v)) M.empty | 204 val basisM = foldl (fn ((k, v : string), m) => M.insert (m, ("Basis", k), v)) M.empty |
205 | 205 |
206 val jsFuncsBase = basisM [("alert", "alert"), | 206 val jsFuncsBase = basisM [("alert", "alert"), |
207 ("stringToTime","stringToTime"), | 207 ("stringToTime", "stringToTime"), |
208 ("stringToTime_error", "stringToTime_error"), | |
208 ("confirm", "confrm"), | 209 ("confirm", "confrm"), |
209 ("get_client_source", "sg"), | 210 ("get_client_source", "sg"), |
210 ("current", "scur"), | 211 ("current", "scur"), |
211 ("htmlifyBool", "bs"), | 212 ("htmlifyBool", "bs"), |
212 ("htmlifyFloat", "ts"), | 213 ("htmlifyFloat", "ts"), |