Diffusion Isabelle be5aa2c9c9ad

tuned -- avoid warnings for scala3;
be5aa2c9c9ad
Actions

Tags

None

Subscribers

None

Description

tuned -- avoid warnings for scala3;

Details

Provenance

Authored on

Parents

rISABELLE6e0a452dab72: tuned signature -- avoid warnings for scala3;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbe5aa2c9c9ad: tuned -- avoid warnings for scala3;.Apr 8 2022, 3:56 PM

Changes (3)

Path

Size

src/

Pure/

PIDE/

rendering.scala

Tools/

VSCode/

src/

vscode_rendering.scala

jEdit/

src/

jedit_rendering.scala

rISABELLEbe5aa2c9c9ad

src/Pure/PIDE/rendering.scala

Loading...

src/Tools/VSCode/src/vscode_rendering.scala

Loading...

src/Tools/jEdit/src/jedit_rendering.scala

Loading...