Diffusion Isabelle 3c710067b178

back to more ambitious scala-3.1.1 (see 8b7497992301);
3c710067b178
Actions

Tags

None

Subscribers

None

Description

back to more ambitious scala-3.1.1 (see 8b7497992301);

Details

Provenance

Authored on

Parents

rISABELLE73a2f3fe0e8c: tuned --- fewer warnings in scala3;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3c710067b178: back to more ambitious scala-3.1.1 (see 8b7497992301);.Apr 8 2022, 4:42 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_scala.scala

rISABELLE3c710067b178

src/Pure/Admin/build_scala.scala

Loading...