Opened 17 years ago

Last modified 11 years ago

#10 new enhancement

Refactor document model out of document — at Version 1

Reported by: anonymous Owned by: David Aspinall
Priority: major Milestone:
Component: 1:pg-eclipse Keywords:
Cc:

Description (last modified by David Aspinall)

Refactor ProofScriptDocument to remove the document model explicitly as ProofScriptModel.

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.

Change History (1)

comment:1 Changed 17 years ago by David Aspinall

Description: modified (diff)
Note: See TracTickets for help on using tickets.