diff src/settings.sml @ 1487:290de2dcecf6

Add client-side Basis.now and pretty-printing of times
author Adam Chlipala <adam@chlipala.net>
date Wed, 06 Jul 2011 08:35:31 -0400
parents a10d080123ec
children 3c0803c1acd7
line wrap: on
line diff
--- a/src/settings.sml	Sun Jul 03 16:50:17 2011 -0400
+++ b/src/settings.sml	Wed Jul 06 08:35:31 2011 -0400
@@ -248,7 +248,11 @@
                           ("le_time", "le"),
 
                           ("debug", "alert"),
-                          ("naughtyDebug", "alert")]
+                          ("naughtyDebug", "alert"),
+
+                          ("now", "now"),
+                          ("timeToString", "showTime"),
+                          ("htmlifyTime", "showTime")]
 val jsFuncs = ref jsFuncsBase
 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
 fun jsFunc x = M.find (!jsFuncs, x)