modernized;
authorwenzelm
Sun Oct 09 14:19:46 2016 +0200 (2016-10-09)
changeset 641180996fab2ec03
parent 64117 c2b41b073d8a
child 64119 8094eaa38d4b
modernized;
src/Pure/System/options.scala
src/Pure/Tools/build_history.scala
     1.1 --- a/src/Pure/System/options.scala	Sat Oct 08 22:36:22 2016 +0200
     1.2 +++ b/src/Pure/System/options.scala	Sun Oct 09 14:19:46 2016 +0200
     1.3 @@ -7,9 +7,6 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -import java.util.Calendar
     1.8 -
     1.9 -
    1.10  object Options
    1.11  {
    1.12    type Spec = (String, Option[String])
    1.13 @@ -411,7 +408,7 @@
    1.14  
    1.15      Isabelle_System.mkdirs(Options.PREFS_DIR)
    1.16      File.write_backup(Options.PREFS,
    1.17 -      "(* generated by Isabelle " + Calendar.getInstance.getTime + " *)\n\n" + prefs)
    1.18 +      "(* generated by Isabelle " + Date.Format.default(Date.now()) + " *)\n\n" + prefs)
    1.19    }
    1.20  }
    1.21  
     2.1 --- a/src/Pure/Tools/build_history.scala	Sat Oct 08 22:36:22 2016 +0200
     2.2 +++ b/src/Pure/Tools/build_history.scala	Sun Oct 09 14:19:46 2016 +0200
     2.3 @@ -9,7 +9,7 @@
     2.4  
     2.5  import java.io.{File => JFile}
     2.6  import java.time.format.DateTimeFormatter
     2.7 -import java.util.{Calendar, Locale}
     2.8 +import java.util.Locale
     2.9  
    2.10  
    2.11  object Build_History
    2.12 @@ -70,7 +70,7 @@
    2.13  
    2.14        Isabelle_System.mkdirs(etc_settings.dir)
    2.15        File.write(etc_settings,
    2.16 -        "# generated by Isabelle " + Calendar.getInstance.getTime + "\n" +
    2.17 +        "# generated by Isabelle " + Date.Format.default(Date.now()) + "\n" +
    2.18          "#-*- shell-script -*- :mode=shellscript:\n")
    2.19  
    2.20        val component_settings =