Changes between Version 2 and Version 3 of Ticket #71

Timestamp:

Aug 14, 2008, 5:02:09 PM (16 years ago)

Author:

Graham Dutton

Comment:

Error and Warning Decorators work correctly -- though, like Active Script decorators, not in Proof Explorer.

Updates are now done in an efficient, compliant manner -- though it's not guaranteed that they are done at every useful opportunity.

Closing - Decoration of Proof Explorer tracked by #7.