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

Monitor view #44

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

Isabelle/jEdit features a Monitor dockable that shows graphs about Isabelle process properties, e.g. proof timings, etc.

Add a similar feature in Isabelle/Eclipse?