diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-11-24 11:27:51 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-11-24 11:27:51 -0500 |
| commit | 8cfdf845683157b756f485ea91c3fc3f2a2697c6 (patch) | |
| tree | 5ac338b6209f2a4b27bf5788d34a55b35231923f /src/settings.sml | |
| parent | 882a0b8d576a848142e1ffecb04a5b60f84faf99 (diff) | |
Client-side timef
Diffstat (limited to 'src/settings.sml')
| -rw-r--r-- | src/settings.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml index 4d0e289f..23860b31 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -206,6 +206,7 @@ val basisM = foldl (fn ((k, v : string), m) => M.insert (m, ("Basis", k), v)) M. val jsFuncsBase = basisM [("alert", "alert"), ("stringToTime", "stringToTime"), ("stringToTime_error", "stringToTime_error"), + ("timef", "strftime"), ("confirm", "confrm"), ("get_client_source", "sg"), ("current", "scur"), |