On Tue, Sep 15, 2015 at 10:19 PM, David Matthews <David.Matthews at prolingua.co.uk> wrote:
On 15/09/2015 20:35, Pierpaolo Bernardi wrote:
How does emacs run the ML? If it runs it as a process with standard input and standard output through pipes then I would expect Poly/ML to run perfectly well and not produce its GUI. I use Poly/ML that way with my own Windows IDE and the testing version of Isabelle works that way as well.
You are right! It was some time I hadn't used PolyML and I was misremembering. The only problem of PolyML under Emacs is that it does not print any prompt. Sorry.
I personally find Windows console applications painful to use, primarily because it is so difficult to copy and paste. Cygwin and Msys with rxvt at least support copy and paste with the middle button.
I use emacs as my OS, so I'm not bothered much by windows terminal shortcomings :)
Cheers P.