Diffusion Isabelle 291597140695

avoid deprecated operation;
291597140695
Actions

Tags

None

Subscribers

None

Description

avoid deprecated operation;

Details

Provenance

Authored on

Parents

rISABELLEd9ebbfe099a8: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE291597140695: avoid deprecated operation;.Jun 25 2021, 9:33 PM

Changes (1)

Path

Size

src/

Pure/

GUI/

rISABELLE291597140695

src/Pure/GUI/gui.scala

Loading...