Opened 17 years ago

Last modified 11 years ago

#17 accepted enhancement

Add clear button for prover output

Reported by: David Aspinall <da+pgrac@…> Owned by: Graham Dutton
Priority: minor Milestone:
Component: 1:pg-eclipse Keywords:
Cc:

Description

Add clear button for prover output, which clears history.

Change History (3)

comment:1 Changed 17 years ago by David Aspinall

Milestone: → PG-Eclipse-1.0.7
Owner: changed from David Aspinall to Graham Dutton
Status: new → assigned

comment:2 Changed 16 years ago by Graham Dutton

Status: assigned → accepted

comment:3 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.7

Milestone PG-Eclipse-1.0.7 deleted

Note: See TracTickets for help on using tickets.