Diffusion Isabelle fbb30dac95a2

clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
fbb30dac95a2
Actions

Tags

None

Subscribers

None

Description

clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;

Details

Provenance

Authored on

Parents

rISABELLE3868fed3c34b: more robust;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfbb30dac95a2: clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;.Jul 15 2021, 8:15 PM

Changes (10)

Path

Size

dockables.scala

rISABELLEfbb30dac95a2

src/Tools/jEdit/jedit_main/build.props

Loading...

src/Tools/jEdit/jedit_main/dockables.scala

Loading...

src/Tools/jEdit/jedit_main/dockables.xml

Loading...

src/Tools/jEdit/jedit_main/plugin.props

Loading...

src/Tools/jEdit/jedit_main/services.scala

Loading...

src/Tools/jEdit/jedit_main/services.xml

Loading...