*** 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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
