Changes between Version 2 and Version 4 of Ticket #259


Ignore:
Timestamp:
Nov 19, 2008, 10:52:46 PM (15 years ago)
Author:
Graham Dutton
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #259

    • Property Summary changed from Parsing Failure on TestLcl.thy to Parsing Failure at ends of files