--- a/src/Pure/System/options.scala Sat Oct 08 22:36:22 2016 +0200
+++ b/src/Pure/System/options.scala Sun Oct 09 14:19:46 2016 +0200
@@ -7,9 +7,6 @@
package isabelle
-import java.util.Calendar
-
-
object Options
{
type Spec = (String, Option[String])
@@ -411,7 +408,7 @@
Isabelle_System.mkdirs(Options.PREFS_DIR)
File.write_backup(Options.PREFS,
- "(* generated by Isabelle " + Calendar.getInstance.getTime + " *)\n\n" + prefs)
+ "(* generated by Isabelle " + Date.Format.default(Date.now()) + " *)\n\n" + prefs)
}
}
--- a/src/Pure/Tools/build_history.scala Sat Oct 08 22:36:22 2016 +0200
+++ b/src/Pure/Tools/build_history.scala Sun Oct 09 14:19:46 2016 +0200
@@ -9,7 +9,7 @@
import java.io.{File => JFile}
import java.time.format.DateTimeFormatter
-import java.util.{Calendar, Locale}
+import java.util.Locale
object Build_History
@@ -70,7 +70,7 @@
Isabelle_System.mkdirs(etc_settings.dir)
File.write(etc_settings,
- "# generated by Isabelle " + Calendar.getInstance.getTime + "\n" +
+ "# generated by Isabelle " + Date.Format.default(Date.now()) + "\n" +
"#-*- shell-script -*- :mode=shellscript:\n")
val component_settings =