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.
clarified versions;
authorwenzelm
Thu, 07 Apr 2022 20:15:58 +0200
changeset 75416 39aa4d9e5559
parent 75411 3f24cc294d74
child 75417 2c861b196d52
clarified versions;
src/Pure/Tools/scala_project.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/scala_project.scala	Thu Apr 07 05:55:48 2022 +0000
+++ b/src/Pure/Tools/scala_project.scala	Thu Apr 07 20:15:58 2022 +0200
@@ -11,8 +11,8 @@
 object Scala_Project {
   /** build tools **/
 
-  def java_version: String = "15"
-  def scala_version: String = scala.util.Properties.versionNumberString
+  val java_version: String = "17"
+  val scala_version: String = "2.13.5"
 
   abstract class Build_Tool {
     def project_root: Path
isabelle