Opened 17 years ago
Last modified 11 years ago
#153 closed task
reconcile "proof state" view for — at Initial Version
Reported by: | alex heneveld | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
the CurrentStateView? ("Proof State") doesn't seem to be useful -- only shows "proofstate" pgip messages, which don't seem to come back any more. is this view any use in addition to LatestOutputView??
Note: See
TracTickets for help on using
tickets.