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 Scala version, e.g. for IntelliJ IDEA;
authorwenzelm
Sun, 08 Oct 2023 15:02:01 +0200
changeset 78738 323eecf508b4
parent 78737 183a28459663
child 78739 08fedb5bdeb0
proper Scala version, e.g. for IntelliJ IDEA;
src/Pure/Tools/scala_project.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/scala_project.scala	Mon Oct 02 11:28:23 2023 +0200
+++ b/src/Pure/Tools/scala_project.scala	Sun Oct 08 15:02:01 2023 +0200
@@ -12,7 +12,7 @@
   /** build tools **/
 
   val java_version: String = "17"
-  val scala_version: String = "3.1.3"
+  val scala_version: String = "3.3.0"
 
   abstract class Build_Tool {
     def project_root: Path
isabelle