diff src/settings.sml @ 1514:3c0803c1acd7

Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds and Basis.toSeconds
author Adam Chlipala <adam@chlipala.net>
date Fri, 22 Jul 2011 15:39:38 -0400
parents 290de2dcecf6
children 883347f5c3c2
line wrap: on
line diff
--- a/src/settings.sml	Wed Jul 20 08:14:49 2011 -0400
+++ b/src/settings.sml	Fri Jul 22 15:39:38 2011 -0400
@@ -252,7 +252,9 @@
 
                           ("now", "now"),
                           ("timeToString", "showTime"),
-                          ("htmlifyTime", "showTime")]
+                          ("htmlifyTime", "showTime"),
+                          ("toSeconds", "toSeconds"),
+                          ("diffInSeconds", "diffInSeconds")]
 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)