Diffusion Isabelle 21164fd15e3d

switch to Scala 3;
21164fd15e3d
Actions

Tags

None

Subscribers

None

Description

switch to Scala 3;

Details

Provenance

Authored on

Parents

rISABELLEea4f5b0ef497: minor performance tuning: avoid redundant BigInt construction;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE21164fd15e3d: switch to Scala 3;.Jul 5 2022, 1:12 PM

makarius mentioned this in Blog Post: System: Isabelle/Scala is now based on Scala 3.Jul 6 2022, 5:14 PM

Changes (12)

Path

Size

Admin/

components/

etc/

lib/

Tools/

scripts/

src/

HOL/

Library/

Pure/

System/

scala_compiler.ML

Tools/

scala_build.scala

scala_project.scala

Tools/

Setup/

src/

jEdit/

jedit_main/

scala_console.scala

rISABELLE21164fd15e3d

Admin/components/main

Loading...

NEWS

Loading...

etc/settings

Loading...

lib/Tools/scala

Loading...

lib/scripts/getsettings

Loading...

src/HOL/Library/code_test.ML

Loading...

src/Pure/System/scala.scala

Loading...

src/Pure/System/scala_compiler.ML

Loading...

src/Pure/Tools/scala_build.scala

Loading...

src/Pure/Tools/scala_project.scala

Loading...

src/Tools/Setup/src/Build.java

Loading...

src/Tools/jEdit/jedit_main/scala_console.scala

Loading...