Re: [isabelle] trouble with sledgehammer/ProofGeneral in Isabelle2013

On 18.03.2013 18:32, Randy Pollack wrote:
I just switched to Isabelle2013.  If sledgehammer returns a proof "try
...",  I see this proof message in the response buffer for second,
then "Process isabelle exited abnormally with code 133, shutting down

To exclude Proof General from the picture, you could try whether this happens with jEdit, too.

  -- Lars

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.