Changes between Initial Version and Version 1 of Ticket #10


Ignore:
Timestamp:
Feb 21, 2007, 12:39:49 PM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #10 – Description

    initial v1  
    1 Refactor ProofScriptDocument to remove the document model explicitly.  The document model should be a parse tree of the document (perhaps with whitespace elements re-added), which we can easily extend with meta information about element status.  The document class should offer a presentation of this model.
     1Refactor !ProofScriptDocument to remove the document model explicitly as !ProofScriptModel. 
     2
     3The document model should be a parse tree of the document (perhaps with whitespace elements re-added), which we can easily extend with meta information about element status.  The document class should offer a presentation of this model.