Opened 17 years ago
Last modified 11 years ago
#61 new task
Make Proof Objects view into standalone RCP application
| Reported by: | Owned by: | David Aspinall | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
The Proof Objects view (in IdView.java) is nice for browsing objects and would be excellent to have as a standalone component in the Proof General Kit so it could be used with other interfaces. For this it would need a bit more infrastructure for connecting to the broker, and also probably a bit of tweaking to avoid bringing in too much of the rest of PG Eclipse.
Change History (3)
comment:1 Changed 17 years ago by
| Milestone: | → Future |
|---|---|
| Type: | enhancement → task |
comment:2 Changed 17 years ago by
| Priority: | major → minor |
|---|
comment:3 Changed 11 years ago by
| Milestone: | Future |
|---|
Note: See
TracTickets for help on using
tickets.
Milestone Future deleted