Opened 17 years ago
Last modified 11 years ago
#41 new enhancement
Revive GEF dependency graph viewer as a separate plugin
Reported by: | Owned by: | David Aspinall | |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
Elina Timiriassova contributed a GEF-based dependency graph viewer as part of her MSc project in 2005.
This should be revived as an additional plugin to connect to Proof General. Loose coupling seems sensible since it requires the GEF. Ideally this would be connected by designing an extension point for the main plugin (e.g. exposing the document object model for proof scripts).
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted