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

Cancel execution of Isabelle process #39

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Support canceling current execution of Isabelle process (see isabelle.jedit.PIDE#cancel_execution()).

andriusvelykis commented 11 years ago

Implemented in f5e3617123bcdcacf94627b4404a701662dc62b3

Added a menu and toolbar action to cancel current Isabelle execution.

Also added a counterpart action to full-check currently active editor (this restarts all proofs - would be the same if one just scrolled the editor). Implemented in 006dd71387097542c83fd19b7bd0edef93648346