Changes between Initial Version and Version 2 of Ticket #21


Ignore:
Timestamp:
Feb 27, 2007, 1:25:12 PM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21

    • Property Milestone changed from PG-Eclipse-1.0.6 to PG-Eclipse-1.0.7

  • Ticket #21 – Description

    initial v2  
    1 Refactor to remove the DummyDocElement atrocity.  We should remove the overloading on document elements which are sent as commands to the prover (which should have their own type) and document elements which are really part of the document model.  All the code should be aware of this distinction and not try to guess whether something is a command or document part.
     1Refactor to remove the !DummyDocElement atrocity.  We should remove the overloading on document elements which are sent as commands to the prover (which should have their own type) and document elements which are really part of the document model.  All the code should be aware of this distinction and not try to guess whether something is a command or document part.