Changes between Initial Version and Version 2 of Ticket #21
- Timestamp:
- Feb 27, 2007, 1:25:12 PM (17 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #21
-
Property
Milestone
changed from
PG-Eclipse-1.0.6
toPG-Eclipse-1.0.7
-
Property
Milestone
changed from
-
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.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.