Re: [isabelle] Isabelle 2009-2, ProofGeneral, xemacs under CygWin with XWin
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