Opened 17 years ago
Last modified 11 years ago
#150 new defect
Remove use of PGIP message datatypes
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | 4:prover-isabelle | Keywords: | |
Cc: |
Description
The datatypes for representing PGIP messages help enumerate and explain the structure of PGIP. However, they do not fit well with the implementation of low-level XML escaping and ML coding style in Isabelle. The Isabelle code would be cleaner if these were removed.
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted