Diffusion Isabelle 38077c938d01

defer build until document nodes are ready;
38077c938d01
Actions

Tags

None

Subscribers

None

Description

defer build until document nodes are ready;

Details

Provenance

Authored on

Parents

rISABELLEeb114301c4df: clarified signature: prefer semantic status;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE38077c938d01: defer build until document nodes are ready;.Jan 31 2023, 2:59 PM

Changes (3)

Path

Size

src/

Pure/

PIDE/

document_editor.scala

Tools/

jEdit/

src/

document_dockable.scala

rISABELLE38077c938d01

src/Pure/PIDE/document.scala

Loading...

src/Pure/PIDE/document_editor.scala

Loading...

src/Tools/jEdit/src/document_dockable.scala

Loading...