Changes between Version 1 and Version 2 of Ticket #49


Ignore:
Timestamp:
Aug 25, 2008, 5:36:51 PM (16 years ago)
Author:
David Aspinall
Comment:

The error message currently displayed stems from an exception in ProofScriptEditor#init?(). I've adjusted this to be more helpful. It would be better to fall back to an ordinary text editor, ideally.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #49

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