Changes between Initial Version and Version 2 of Ticket #77


Ignore:
Timestamp:
Jul 10, 2007, 9:58:47 AM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #77

    • Property Owner changed from David Aspinall to Graham Dutton
    • Property Milestone changed from PG-Eclipse-1.0.6 to PG-Eclipse-1.0.7

  • Ticket #77 – Description

    initial v2  
    1 Lexical syntax fixes required.  We can fix these first in main Java code, then refactor to use <lexicalsyntax> element.
     1Lexical syntax fixes required.  We can fix these first in main Java code (perhaps in the prover specific plugin, naughtily), then refactor to use <lexicalsyntax> element.
    22
    33 * Nested comments: looks like we may need a custom scanner