# HG changeset patch
# User wenzelm
# Date 1476213910 -7200
# Node ID be9b3cffe05840fbfa871b5fcca14f329ac33713
# Parent  b10f2ddd7679cbea9e7a28b3b0da22e0c68cf4be
tuned -- Date.Format.default used by toString;

diff -r b10f2ddd7679 -r be9b3cffe058 src/Pure/System/options.scala
--- a/src/Pure/System/options.scala	Tue Oct 11 20:54:42 2016 +0200
+++ b/src/Pure/System/options.scala	Tue Oct 11 21:25:10 2016 +0200
@@ -407,8 +407,7 @@
         .map({ case (x, y, z) => x + " = " + Outer_Syntax.quote_string(y) + z + "\n" }).mkString
 
     Isabelle_System.mkdirs(Options.PREFS_DIR)
-    File.write_backup(Options.PREFS,
-      "(* generated by Isabelle " + Date.Format.default(Date.now()) + " *)\n\n" + prefs)
+    File.write_backup(Options.PREFS, "(* generated by Isabelle " + Date.now() + " *)\n\n" + prefs)
   }
 }
 
diff -r b10f2ddd7679 -r be9b3cffe058 src/Pure/Tools/build_history.scala
--- a/src/Pure/Tools/build_history.scala	Tue Oct 11 20:54:42 2016 +0200
+++ b/src/Pure/Tools/build_history.scala	Tue Oct 11 21:25:10 2016 +0200
@@ -62,7 +62,7 @@
 
       Isabelle_System.mkdirs(etc_settings.dir)
       File.write(etc_settings,
-        "# generated by Isabelle " + Date.Format.default(Date.now()) + "\n" +
+        "# generated by Isabelle " + Date.now() + "\n" +
         "#-*- shell-script -*- :mode=shellscript:\n")
 
       val component_settings =