Eclipse-based Graph browser

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

Eclipse-based Graph browser #17

Open andriusvelykis opened 11 years ago

andriusvelykis commented 11 years ago

Isabelle provides a Swing-based Graph browser to explore relationships between theories or Isabelle constants. When launched from Isabelle/Eclipse, this creates a new Swing window and corresponding UI.

Would be nice to use an Eclipse-based Graph browser from within the IDE, e.g. based on Eclipse Zest.