src/Pure/System/options.scala
changeset 64151 be9b3cffe058
parent 64118 0996fab2ec03
child 64186 49816908ae42
     1.1 --- a/src/Pure/System/options.scala	Sun Oct 09 14:19:46 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