Changes between Initial Version and Version 1 of Ticket #30


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

We need some test cases for this in ed.inf.proofgeneral.tests. If it is not easily reproduced we should close the ticket for now.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #30

    • Property Owner changed from David Aspinall to Graham Dutton