andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

Stop/restart Isabelle #41

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

Isabelle prover can be started later but afterwards can no longer be stopped/unloaded. I need to restart Isabelle/Eclipse in order to stop Isabelle and unload it from memory.

Investigate the best way to stop the prover and unload it.

This is also necessary to change Isabelle prover, e.g. to start a different session, without restarting Isabelle/Eclipse.