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.
tuned;
authorwenzelm
Fri, 21 Aug 2015 22:11:55 +0200
changeset 61003 0b9d8af73270
parent 61002 8c52177fb436
child 61005 151d92332625
tuned;
src/Pure/Tools/main.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/main.scala	Fri Aug 21 20:58:23 2015 +0200
+++ b/src/Pure/Tools/main.scala	Fri Aug 21 22:11:55 2015 +0200
@@ -52,7 +52,7 @@
           else {
             system_dialog.title("Isabelle build (" +
               Isabelle_System.getenv("ML_IDENTIFIER") + " / " +
-              "jdk-" + Platform.jvm_version + "-" +
+              "jdk-" + Platform.jvm_version + "_" +
               Isabelle_System.getenv("ISABELLE_JAVA_PLATFORM") + ")")
             system_dialog.echo("Build started for Isabelle/" + session + " ...")
isabelle