Opened 17 years ago
Last modified 11 years ago
#47 assigned enhancement
Complete configuration of <lexicalsyntax> elements
Reported by: | Owned by: | David Aspinall | |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
Lexical syntax elements allow correct and dynamically extensible keyword handling.
Presently needs further work in Isabelle as well as Eclipse.
Change History (5)
comment:1 Changed 17 years ago by
Component: | documentation → proofgeneral-eclipse |
---|---|
Type: | defect → enhancement |
comment:2 Changed 17 years ago by
Milestone: | → PG-Eclipse-1.0.6 |
---|
comment:3 Changed 17 years ago by
Status: | new → assigned |
---|
comment:4 Changed 16 years ago by
Milestone: | PG-Eclipse-1.0.6 → PG-Eclipse-1.0.7 |
---|
comment:5 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