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

Graph browser links #16

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Support links to Isabelle Graph browser that are requested by class_deps or code_deps commands (Isabelle 2013)

andriusvelykis commented 11 years ago

Implemented in 42f8baeb2907c31e704a029497660275c9a54bd0

Opens the Graph browser from the Isabelle distribution (Swing-based) with the selected data. A native Eclipse-based graph browser could be added in the future.