Diffusion Isabelle 7ae5df33ff23

tuned --- avoid redundant patterns;
7ae5df33ff23
Actions

Tags

None

Subscribers

None

Description

tuned --- avoid redundant patterns;

Details

Provenance

Authored on

Parents

rISABELLEb958e053d993: avoid pattern-match warnings, notably in scala3;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7ae5df33ff23: tuned --- avoid redundant patterns;.Apr 9 2022, 12:03 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLE7ae5df33ff23

src/Pure/Tools/server.scala

Loading...