[polyml] readline library available?

2011-10-05 Thread Hong Feng
Still can not disable the very first system prompt ... :( another question: any way to support the GNU readline library under the SML system for user interaction? Best, Hong Feng ___ polyml mailing list polyml@inf.ed.ac.uk

Re: [polyml] readline library available?

2011-10-05 Thread Makarius
On Wed, 5 Oct 2011, Hong Feng wrote: another question: any way to support the GNU readline library under the SML system for user interaction? I am using rlwrap for this, it is a separate executable. Makarius ___ polyml mailing list