Diffusion Isabelle f6ecd23c83cd

proper PIDE session background for interactive document context;
f6ecd23c83cd
Actions

Tags

None

Subscribers

None

Description

proper PIDE session background for interactive document context;

Details

Provenance

Authored on

Parents

rISABELLEe8ad377e1184: NEWS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf6ecd23c83cd: proper PIDE session background for interactive document context;.Dec 21 2022, 11:18 PM

makarius mentioned this in Blog Post: Support for interactive document preparation in PIDE.Dec 21 2022, 11:34 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

src/

document_dockable.scala

rISABELLEf6ecd23c83cd

src/Tools/jEdit/src/document_dockable.scala

Loading...