Changes between Initial Version and Version 3 of Ticket #13


Ignore:
Timestamp:
Feb 27, 2007, 12:57:27 PM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #13

    • Property Owner changed from David Aspinall to anonymous
    • Property Milestone changed from PG-Eclipse-1.1.0 to PG-Eclipse-1.0.6

  • Ticket #13 – Description

    initial v3  
    1 Add a proof object search facility to IdView, similar to the Open Type dialog in Java, so we can find names dynamically.  A more advanced facility would be to search on object contents.
     1Add a proof object search facility to !IdView, similar to the Open Type dialog in Java, so we can find names dynamically.  A more advanced facility would be to search on object contents.
    22
    3 This may require using prover-side search, and/or interfacing with ProverKnowledge.
     3This may require using prover-side search, and/or interfacing with !ProverKnowledge.