Diffusion Isabelle 588ea80f16bb

provide scala-3.4.1, but do not activate it: scala-3.3.x is LTS version;
588ea80f16bb
Actions

Tags

None

Subscribers

None

Description

provide scala-3.4.1, but do not activate it: scala-3.3.x is LTS version;

Details

Provenance

Authored on

Parents

rISABELLE1478c6d52864: clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE588ea80f16bb: provide scala-3.4.1, but do not activate it: scala-3.3.x is LTS version;.Apr 1 2024, 3:09 PM

Changes (2)

Path

Size

Admin/

components/

components.sha1

src/

Pure/

Admin/

component_scala.scala

rISABELLE588ea80f16bb

Admin/components/components.sha1

Loading...

src/Pure/Admin/component_scala.scala

Loading...