Diffusion Isabelle d164bf04d05e

tuned --- accomodate scala3;
d164bf04d05e
Actions

Tags

None

Subscribers

None

Description

tuned --- accomodate scala3;

Details

Provenance

Authored on

Parents

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

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd164bf04d05e: tuned --- accomodate scala3;.Apr 9 2022, 11:45 AM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

text_structure.scala

rISABELLEd164bf04d05e

src/Tools/jEdit/src/text_structure.scala

Loading...