Diffusion Isabelle 0f80086c000e

tuned for scala3;
0f80086c000e
Actions

Tags

None

Subscribers

None

Description

tuned for scala3;

Details

Provenance

Authored on

Parents

rISABELLE42fe20507496: proper indentation (relevant for scala3);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0f80086c000e: tuned for scala3;.Apr 4 2022, 10:06 PM

Changes (2)

Path

Size

src/

Pure/

General/

Tools/

Graphview/

rISABELLE0f80086c000e

src/Pure/General/json_api.scala

Loading...

src/Tools/Graphview/layout.scala

Loading...