# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1323470300 18000
# Node ID 86857ae0f38609975faeec66f480ec4abecc420b
# Parent  a037ed3854e3ba29da30023590f7725269490edb
Change more dashes to slashes, for JavaScript compatibility

diff -r a037ed3854e3 -r 86857ae0f386 calendar.ur
--- a/calendar.ur	Sun Dec 04 16:33:48 2011 -0500
+++ b/calendar.ur	Fri Dec 09 17:38:20 2011 -0500
@@ -59,7 +59,7 @@
                     n
             end
     in
-        f 28 (readError (show m.Year ^ "-" ^ pad 2 m.Month ^ "-28 00:00:00"))
+        f 28 (readError (show m.Year ^ "/" ^ pad 2 m.Month ^ "/28 00:00:00"))
     end
 
 fun weekdayToNum s =
@@ -74,7 +74,7 @@
       | _ => error <xml>Datebox: Bad weekday name</xml>
 
 fun timeOfMonth my =
-    readError (show my.Year ^ "-" ^ pad 2 my.Month ^ "-01 00:00:00")
+    readError (show my.Year ^ "/" ^ pad 2 my.Month ^ "/01 00:00:00")
 
 fun monthInfo' this =
     let