# HG changeset patch
# User wenzelm
# Date 1696770121 -7200
# Node ID 323eecf508b498e72f46a135b4b9ad03838ce183
# Parent  183a28459663e573d55be14299fcbf196e74d234
proper Scala version, e.g. for IntelliJ IDEA;

diff -r 183a28459663 -r 323eecf508b4 src/Pure/Tools/scala_project.scala
--- 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