Opened 17 years ago
Last modified 11 years ago
#10 new enhancement
Refactor document model out of document — at Initial Version
Reported by: | anonymous | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
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.
Note: See
TracTickets for help on using
tickets.