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.

Change History (1)

comment:1 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.1.0

Milestone PG-Eclipse-1.1.0 deleted

Note: See TracTickets for help on using tickets.