Opened 17 years ago

Last modified 11 years ago

#33 new defect

Fix interrupts: interrupt crashes prover and interrupt ineffective

Reported by: David Aspinall <da+pgtrac@…> Owned by: David Aspinall
Priority: major Milestone:
Component: 1:pg-eclipse Keywords:
Cc:

Description

  1. interrupt can cause prover crash (why?)
  2. interrupt has hardwired unix kill call; this could be a preference

Alternatively/additionally, we should investigate supporting the interrupt message in a shell script or Java wrapper for Isabelle (possibly the default supplied one).

Change History (3)

comment:1 Changed 17 years ago by David Aspinall <da+pgtrac@…>

Component: documentation → proofgeneral-eclipse

comment:2 Changed 17 years ago by David Aspinall

Milestone: → PG-Eclipse-1.0.7

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.