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

Theories view #43

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Isabelle/jEdit features a Theories dockable that lists open theories and shows progress when they are being loaded.

Add a similar feature in Isabelle/Eclipse?

andriusvelykis commented 11 years ago

Implemented in 5252170b7224210004182e90376194bf19e85f43

The Theories view lists open theories together with their progress and status. Double-clicking on a theory opens its file in the editor.

theories-view