Changes between Initial Version and Version 1 of Ticket #86


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

We need to add/identifiy a test case for this in ed.inf.proofgeneral.tests

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #86

    • Property Priority changed from major to blocker