Diffusion Isabelle d1417d9c6deb

tuned signature: avoid problems with scala3;
d1417d9c6deb
Actions

Tags

None

Subscribers

None

Description

tuned signature: avoid problems with scala3;

Details

Provenance

Authored on

Parents

rISABELLE691ed9f41729: proper indentation;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd1417d9c6deb: tuned signature: avoid problems with scala3;.Apr 22 2022, 4:55 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

monitor_dockable.scala

rISABELLEd1417d9c6deb

src/Tools/jEdit/src/monitor_dockable.scala

Loading...