Diffusion Isabelle b958e053d993

avoid pattern-match warnings, notably in scala3;
b958e053d993
Actions

Tags

None

Subscribers

None

Description

avoid pattern-match warnings, notably in scala3;

Details

Provenance

Authored on

Parents

rISABELLE5f8f0bf8c72c: proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb958e053d993: avoid pattern-match warnings, notably in scala3;.Apr 9 2022, 12:02 PM

Changes (7)

Path

Size

etc/

src/

Pure/

System/

isabelle_system.scala

Thy/

export_theory.scala

Tools/

build_job.scala

Tools/

Graphview/

rISABELLEb958e053d993

etc/settings

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/Thy/export_theory.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...

src/Pure/term_xml.scala

Loading...

src/Tools/Graphview/layout.scala

Loading...

src/Tools/Graphview/shapes.scala

Loading...