Changes between Version 5 and Version 7 of Ticket #242


Ignore:
Timestamp:
Sep 4, 2008, 11:00:47 AM (16 years ago)
Author:
Graham Dutton
Comment:

External file references removed. Shame we lose the automatic connection with the current proof general style, but it's probably more trouble than it's worth.

Should raise a new ticket to enhance existing content.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #242

    • Property Status changed from assigned to closed