Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prefer explicit timezone offset for printing;
authorwenzelm
Sat, 08 Oct 2016 22:08:31 +0200
changeset 64116 6cfd429a4296
parent 64115 68619fa37ca7
child 64117 c2b41b073d8a
prefer explicit timezone offset for printing;
src/Pure/Tools/build_log.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/build_log.scala	Sat Oct 08 21:31:56 2016 +0200
+++ b/src/Pure/Tools/build_log.scala	Sat Oct 08 22:08:31 2016 +0200
@@ -97,7 +97,7 @@
     {
       val fmts =
         Date.Formatter.variants(
-          List("EEE MMM d HH:mm:ss VV yyyy", "EEE MMM d HH:mm:ss O yyyy"),
+          List("EEE MMM d HH:mm:ss O yyyy", "EEE MMM d HH:mm:ss VV yyyy"),
           List(Locale.ENGLISH, Locale.GERMAN)) :::
         List(
           DateTimeFormatter.RFC_1123_DATE_TIME,
isabelle