src/Pure/Tools/build_history.scala
changeset 64151 be9b3cffe058
parent 64150 b10f2ddd7679
child 64155 646c4d6a6a02
     1.1 --- a/src/Pure/Tools/build_history.scala	Tue Oct 11 20:54:42 2016 +0200
     1.2 +++ b/src/Pure/Tools/build_history.scala	Tue Oct 11 21:25:10 2016 +0200
     1.3 @@ -62,7 +62,7 @@
     1.4  
     1.5        Isabelle_System.mkdirs(etc_settings.dir)
     1.6        File.write(etc_settings,
     1.7 -        "# generated by Isabelle " + Date.Format.default(Date.now()) + "\n" +
     1.8 +        "# generated by Isabelle " + Date.now() + "\n" +
     1.9          "#-*- shell-script -*- :mode=shellscript:\n")
    1.10  
    1.11        val component_settings =