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

Show trace button #60

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Reinstate the Show Proof Trace button functionality: show/hide the trace in the prover output view.