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.
proper java_version for isabelle_setup;
authorwenzelm
Tue, 09 Nov 2021 11:20:38 +0100
changeset 74737 d912c1b6c1d0
parent 74736 df4449c6eff1
child 74738 cba1da393958
proper java_version for isabelle_setup;
src/Pure/Tools/scala_project.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/scala_project.scala	Mon Nov 08 20:26:16 2021 +0100
+++ b/src/Pure/Tools/scala_project.scala	Tue Nov 09 11:20:38 2021 +0100
@@ -12,7 +12,7 @@
 {
   /* Maven project */
 
-  def java_version: String = "11"
+  def java_version: String = "15"
   def scala_version: String = scala.util.Properties.versionNumberString
 
   def maven_project(jars: List[Path]): String =
isabelle