diff src/settings.sml @ 1609:c6cc104a47ac

Client-side timef
author Adam Chlipala <adam@chlipala.net>
date Thu, 24 Nov 2011 11:27:51 -0500
parents 252e05bf199d
children f96e708b4b93
line wrap: on
line diff
--- a/src/settings.sml	Thu Nov 24 11:09:50 2011 -0500
+++ b/src/settings.sml	Thu Nov 24 11:27:51 2011 -0500
@@ -206,6 +206,7 @@
 val jsFuncsBase = basisM [("alert", "alert"),
                           ("stringToTime", "stringToTime"),
                           ("stringToTime_error", "stringToTime_error"),
+                          ("timef", "strftime"),
                           ("confirm", "confrm"),
                           ("get_client_source", "sg"),
                           ("current", "scur"),