Changes between Initial Version and Version 2 of Ticket #116


Ignore:
Timestamp:
May 25, 2007, 3:03:26 PM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #116

    • Property Status changed from new to closed
    • Property Resolution changed from to fixed

  • Ticket #116 – Description

    initial v2  
    44 of 2007-03-06 on hs20-bc1-5.build.redhat.com
    55
    6 Proof GeneralVersion 3.7pre070511.
     6Proof General Version 3.7pre070511.