Opened 17 years ago
Last modified 11 years ago
#145 new enhancement
PGIP parser: add string tokens for categories
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 4:prover-isabelle | Keywords: | |
Cc: |
Description
This improvement would allow the frontend to know more about the parsed source text, such as categorising strings as terms/types/identifiers.
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.0.7 deleted