Changes between Initial Version and Version 11 of Ticket #7


Ignore:
Timestamp:
Aug 14, 2008, 5:11:05 PM (16 years ago)
Author:
Graham Dutton
Comment:

Updated for clarity. It's the Project Explorer which more closely reflects what we require.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #7

    • Property Component changed from documentation to proofgeneral-eclipse
    • Property Summary changed from Finish proof explorer: add decorators for errors and rest of menus to Finish proof explorer: inherit decorators, menus, etc. from Project Explorer.
    • Property Milestone changed from PG-Eclipse-1.0.6 to PG-Eclipse-1.0.7
    • Property Owner changed from David Aspinall to Graham Dutton
    • Property Type changed from defect to enhancement

  • Ticket #7 – Description

    initial v11  
    1 Proof Explorer view needs functionality of Navigator.
     1The Proof Explorer view needs to inherit more of the functionality of the Project Explorer, including decoration and extra menus.