Diffusion Isabelle 4f6a6ba7387d

tuned: avoid problems with scala3;
4f6a6ba7387d
Actions

Tags

None

Subscribers

None

Description

tuned: avoid problems with scala3;

Details

Provenance

Authored on

Parents

rISABELLE14154ac511ba: provide SCALA_INTERFACES for isabelle_setup;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4f6a6ba7387d: tuned: avoid problems with scala3;.Mar 31 2022, 9:48 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

presentation.scala

rISABELLE4f6a6ba7387d

src/Pure/Thy/presentation.scala

Loading...