Opened 17 years ago
Last modified 11 years ago
#99 new defect
Reliable interrupts
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 4:prover-isabelle | Keywords: | |
Cc: |
Description
Note: See
TracTickets for help on using
tickets.
Interrupts should work properly as follows:
Alternatively, refrain from implementing a separate process wrapper, but use the one of post-Isabelle2007 versions (cf. Isabelle/lib/classes/isabelle/IsabelleProcess.java, which is meant to become rock-solid eventually). This essentially means to move most PGIP wrapping out of Isabelle, into the JVM, past the process wrapper.