Diffusion Isabelle 6827dd0c3723

clarified process: implicit load() when finished;
6827dd0c3723
Actions

Tags

None

Subscribers

None

Description

clarified process: implicit load() when finished;

Details

Provenance

Authored on

Parents

rISABELLE02d07758ce42: more robust, notably initial update();

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6827dd0c3723: clarified process: implicit load() when finished;.Dec 5 2022, 4:27 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

document_dockable.scala

rISABELLE6827dd0c3723

src/Tools/jEdit/src/document_dockable.scala

Loading...