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.
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".
This archive was generated by a fusion of
Pipermail (Mailman edition) and