Diffusion Isabelle 6b213c0115f5

clarified global state: allow to deactivate main plugin;
6b213c0115f5
Actions

Tags

None

Subscribers

None

Description

clarified global state: allow to deactivate main plugin;

Details

Provenance

Authored on

Parents

rISABELLEb3f2da6bef51: more robust (again): allow to deactivate main plugin;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6b213c0115f5: clarified global state: allow to deactivate main plugin;.Jul 15 2021, 10:07 PM

Changes (2)

Path

Size

src/

Tools/

jEdit/

src/

document_model.scala

main_plugin.scala

rISABELLE6b213c0115f5

src/Tools/jEdit/src/document_model.scala

Loading...

src/Tools/jEdit/src/main_plugin.scala

Loading...