| changeset 66459 | b578ef1a8b40 |
| parent 66457 | 9098c36abd1a |
| child 66464 | c21a0198881b |
--- a/src/Tools/jEdit/src/Isabelle.props Sun Aug 20 18:30:20 2017 +0200 +++ b/src/Tools/jEdit/src/Isabelle.props Sun Aug 20 18:45:42 2017 +0200 @@ -9,7 +9,7 @@ plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE #system parameters -plugin.isabelle.jedit.Plugin.activate=startup +plugin.isabelle.jedit.Plugin.activate=defer plugin.isabelle.jedit.Plugin.usePluginHome=false #dependencies