Opened 17 years ago

Last modified 11 years ago

#41 new enhancement

Revive GEF dependency graph viewer as a separate plugin

Reported by: David Aspinall <da+pgtrac@…> 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).

Change History (1)

comment:1 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.1.0

Milestone PG-Eclipse-1.1.0 deleted

Note: See TracTickets for help on using tickets.