Diffusion Isabelle 3991a35cd740

automatically build document when selected theories are finished;
3991a35cd740
Actions

Tags

None

Subscribers

None

Description

automatically build document when selected theories are finished;

Details

Provenance

Authored on

Parents

rISABELLE9b3a8565464d: more accurate Word.capitalize: do not touch name;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3991a35cd740: automatically build document when selected theories are finished;.Jan 31 2023, 5:00 PM

Changes (4)

Path

Size

etc/

src/

Pure/

PIDE/

document_editor.scala

Tools/

jEdit/

src/

document_dockable.scala

rISABELLE3991a35cd740

etc/options

Loading...

src/Pure/PIDE/document_editor.scala

Loading...

src/Pure/PIDE/session.scala

Loading...

src/Tools/jEdit/src/document_dockable.scala

Loading...