[isabelle-dev] NEWS: restart of main Isabelle/jEdit plugin

[Makarius]

*** 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.


	Makarius