Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/scala_project.scala
changeset 75416 39aa4d9e5559
parent 75394 42267c650205
child 75654 21164fd15e3d 
--- 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