Diffusion Isabelle 4586e90573ac

more robust GUI initialization (amending 29441f2bfe81);
4586e90573ac
Actions

Tags

None

Subscribers

None

Description

more robust GUI initialization (amending 29441f2bfe81);

Details

Provenance

Authored on

Parents

rISABELLEc14409948063: clarified signature: just one common operation;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4586e90573ac: more robust GUI initialization (amending 29441f2bfe81);.Aug 20 2022, 9:33 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

query_dockable.scala

rISABELLE4586e90573ac

src/Tools/jEdit/src/query_dockable.scala

Loading...