Diffusion Isabelle a57035ae9029

deprecated and obsolete;
a57035ae9029
Actions

Tags

None

Subscribers

None

Description

deprecated and obsolete;

Details

Provenance

Authored on

Parents

rISABELLE3fd54f7f52b0: tuned signature -- avoid warnings;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa57035ae9029: deprecated and obsolete;.Apr 22 2020, 6:16 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

scala_console.scala

rISABELLEa57035ae9029

src/Tools/jEdit/src/scala_console.scala

Loading...