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"'.

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

  -- Lars

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