Diffusion Isabelle 913c781ff6ba

support document preparation from already loaded theories;
913c781ff6ba
Actions

Tags

None

Subscribers

None

Description

support document preparation from already loaded theories;

Details

Provenance

Authored on

Parents

rISABELLE158dfe7f68ed: clarified GUI events;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE913c781ff6ba: support document preparation from already loaded theories;.Jan 31 2023, 8:37 PM

Changes (4)

Path

Size

src/

Pure/

PIDE/

document_editor.scala

Tools/

jEdit/

src/

theories_status.scala

rISABELLE913c781ff6ba

src/Pure/PIDE/document.scala

Loading...

src/Pure/PIDE/document_editor.scala

Loading...

src/Pure/PIDE/editor.scala

Loading...

src/Tools/jEdit/src/theories_status.scala

Loading...