Diffusion Isabelle 02d07758ce42

more robust, notably initial update();
02d07758ce42
Actions

Tags

None

Subscribers

None

Description

more robust, notably initial update();

Details

Provenance

Authored on

Parents

rISABELLE89cd466e063d: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE02d07758ce42: more robust, notably initial update();.Dec 5 2022, 4:24 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

document_dockable.scala

rISABELLE02d07758ce42

src/Tools/jEdit/src/document_dockable.scala

Loading...