On Tue, Sep 15, 2015 at 10:19 PM, David Matthews <[email protected]> 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. _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
