Re: [isabelle] Isabelle 2009-2, ProofGeneral, xemacs under CygWin with XWin



I think that I had a similar problem when upgrading from Isabelle 2009-1 to
Isabelle 2009-2. In my case the problem was a too old version of cygwin.
After upgrading to the latest version of cygwin everything worked well.

Best regards,

Viorel

On 10/26/2010 3:34 PM, Lars Noschinski wrote:
On 26.10.2010 13:40, David Trachtenherz wrote:
I've been using Isabelle 2009-1 with PG 3.7.1 under CygWin, starting it
via 'isabelle emacs -p "xemacs -display 127.0.0.1:0.0"'.

I'd suggest to try "DISPLAY=127.0.0.1:0.0 isabelle emacs -p xemacs" instead. Alternatively, you could write some start-xemacs script which simply does "xemacs -display 127.0.0.1:0.0".

  -- Lars








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