Opened 16 years ago
Last modified 11 years ago
#247 new defect
Proof Objects view (IdView) is broken
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
This view is broken comprehensively: it throws exceptions when used and also sends the wrong commands to the underlying system.
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.0.6 deleted