Opened 17 years ago
Last modified 11 years ago
#77 new defect
Partitioning: fix for correct lexical syntax of Isar
| Reported by: | David Aspinall | Owned by: | Graham Dutton |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description (last modified by )
Lexical 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.
- Nested comments: looks like we may need a custom scanner
Change History (3)
comment:1 Changed 17 years ago by
| Milestone: | PG-Eclipse-1.0.6 → PG-Eclipse-1.0.7 |
|---|---|
| Priority: | major → minor |
comment:2 Changed 17 years ago by
| Description: | modified (diff) |
|---|---|
| Owner: | changed from David Aspinall to Graham Dutton |
| Priority: | minor → major |
comment:3 Changed 11 years ago by
| Milestone: | PG-Eclipse-1.0.7 |
|---|
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.0.7 deleted