Opened 17 years ago
Last modified 11 years ago
#102 new defect
Simplify message model according to new RNC, change Isabelle to match
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 4:prover-isabelle | Keywords: | |
| Cc: |
Description
Some further discussion maybe required, but proposal in draft RNC for simplification
- warning versus trace: some cases where we need "status" display (e.g. iterative deepening used in blast)
Tempting to just remove this, but it is valid to have some general way of reporting progress on long-running operations.
Change History (2)
comment:1 Changed 17 years ago by
| Milestone: | PG-Eclipse-1.0.6 → PG-Eclipse-1.0.7 |
|---|
comment:2 Changed 11 years ago by
| Milestone: | PG-Eclipse-1.0.7 |
|---|
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.0.7 deleted