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
scripting.

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.