Re: [isabelle] Isabella proof general



On Thu, 22 Oct 2009, Aparna G wrote:

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 sounds like some of the usual Emacs problems that happen occasionally. Instead of fiddling with Windows and Cygwin, you might also consider install Linux on your machine, e.g. see http://wubi-installer.org/

GNU Emacs 22 or 23 usually works best with Proof General, which is the default Isabelle user interface that you are faced with.


	Makarius






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