Re: [isabelle] Isabella proof general

When i try to use isabelle through Xemacs,it givs following error:
13 [main] xemacs 5380 child_copy:linked dll data write copy failed,win 32 error 487.

I am not able to understand how i can solve proofs as i am unable to get the theorem solving options... Any advice or help at earliest wud be great!


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