search

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

Track if Isabelle process dies #42

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

Add session phase tracker to Isabelle process after it is started to notify the user if the process dies, stops, etc.

This may be related to #41 to allow restarting Isabelle if it dies.