Opened 17 years ago
Last modified 11 years ago
#7 closed enhancement
Finish proof explorer: add decorators for errors and rest of menus — at Initial Version
| Reported by: | anonymous | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
Proof Explorer view needs functionality of Navigator.
Note: See
TracTickets for help on using
tickets.
