Opened 17 years ago
Last modified 11 years ago
#153 closed task
is "proof state" view needed anymore? — at Version 1
| Reported by: | alex heneveld | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description (last modified by )
the CurrentStateView? ("Proof State") doesn't seem to be useful -- only shows "proofstate" pgip messages, which don't seem to come back any more. remove this view so as not to confuse users? (LatestOutputView? is much better.) otherwise improve documentation (and use) of State view so that its purpose clear.
Change History (1)
comment:1 Changed 17 years ago by
| Description: | modified (diff) |
|---|---|
| Summary: | reconcile "proof state" view for → is "proof state" view needed anymore? |
Note: See
TracTickets for help on using
tickets.
