Email Gateway (Aug 18 2022 at 16:17): Email Gateway (Aug 18 2022 at 16:17):From: Lars Noschinski <noschinl@in.tum.de>
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
Email Gateway (Aug 18 2022 at 16:17):From: Viorel Preoteasa <viorel.preoteasa@abo.fi>
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
Last updated: Apr 25 2024 at 12:23 UTC