tuned -- Date.Format.default used by toString;
authorwenzelm
Tue Oct 11 21:25:10 2016 +0200 (2016-10-11)
changeset 64151be9b3cffe058
parent 64150 b10f2ddd7679
child 64152 8f5b23536c56
tuned -- Date.Format.default used by toString;
src/Pure/System/options.scala
src/Pure/Tools/build_history.scala
     1.1 --- a/src/Pure/System/options.scala	Tue Oct 11 20:54:42 2016 +0200
     1.2 +++ b/src/Pure/System/options.scala	Tue Oct 11 21:25:10 2016 +0200
     1.3 @@ -407,8 +407,7 @@
     1.4          .map({ case (x, y, z) => x + " = " + Outer_Syntax.quote_string(y) + z + "\n" }).mkString
     1.5  
     1.6      Isabelle_System.mkdirs(Options.PREFS_DIR)
     1.7 -    File.write_backup(Options.PREFS,
     1.8 -      "(* generated by Isabelle " + Date.Format.default(Date.now()) + " *)\n\n" + prefs)
     1.9 +    File.write_backup(Options.PREFS, "(* generated by Isabelle " + Date.now() + " *)\n\n" + prefs)
    1.10    }
    1.11  }
    1.12  
     2.1 --- a/src/Pure/Tools/build_history.scala	Tue Oct 11 20:54:42 2016 +0200
     2.2 +++ b/src/Pure/Tools/build_history.scala	Tue Oct 11 21:25:10 2016 +0200
     2.3 @@ -62,7 +62,7 @@
     2.4  
     2.5        Isabelle_System.mkdirs(etc_settings.dir)
     2.6        File.write(etc_settings,
     2.7 -        "# generated by Isabelle " + Date.Format.default(Date.now()) + "\n" +
     2.8 +        "# generated by Isabelle " + Date.now() + "\n" +
     2.9          "#-*- shell-script -*- :mode=shellscript:\n")
    2.10  
    2.11        val component_settings =