Changes between Initial Version and Version 2 of Ticket #56


Ignore:
Timestamp:
Jul 10, 2007, 9:40:24 AM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #56

    • Property Milestone changed from to PG-Eclipse-1.0.6

  • Ticket #56 – Description

    initial v2  
    11Sometimes buttons have no action because of prover-ownership being held by another action.  We need recovery in case of this; restart should always be available. 
    22
    3 Repeatable test cases showing this problem are required.  It may have been intermittent during development.
     3Repeatable test cases showing this problem are required.  It may be intermittent during development (but seems quite common).