Opened 17 years ago
Last modified 11 years ago
#136 new enhancement
Add compare support for proof scripts
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
Make use of PGIP markup to provide a structural compare feature for proof scripts.
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted