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

Makarius 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 mailing list