[isabelle-dev] NEWS: restart of main Isabelle/jEdit plugin
makarius at sketis.net
Mon Aug 21 11:18:05 CEST 2017
*** Prover IDE -- Isabelle/Scala/jEdit ***
* The main Isabelle/jEdit plugin may be restarted manually (using the
jEdit Plugin Manager), as long as the "Isabelle Base" plugin remains
enabled at all times.
This refers to Isabelle/c21a0198881b, it is a natural consequence of the
split of the plugin in Isabelle/9098c36abd1a.
A possible application is to change the logic session image and then
stop/start the Isabelle plugin (but *not* the Isabelle Base plugin).
At some point there might be an official action / menu for that, if it
turns out sufficiently important.
More information about the isabelle-dev