# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1323034428 18000
# Node ID a037ed3854e3ba29da30023590f7725269490edb
# Parent  d314d2ec33002544315b97b60dcfbd83fef9799b
Change time format to work portably in JavaScript

diff -r d314d2ec3300 -r a037ed3854e3 calendar.ur
--- a/calendar.ur	Sun Dec 04 16:45:31 2011 +0100
+++ b/calendar.ur	Sun Dec 04 16:33:48 2011 -0500
@@ -36,7 +36,7 @@
         pad' (len - String.length s) s
     end
 
-fun time {Year = y, Month = m, Day = d} = readError (show y ^ "-" ^ pad 2 m ^ "-" ^ pad 2 d ^ " 00:00:00")
+fun time {Year = y, Month = m, Day = d} = readError (show y ^ "/" ^ pad 2 m ^ "/" ^ pad 2 d ^ " 00:00:00")
 fun date tm =
     let
         val y = readError (timef "%Y" tm)