[polyml] readline library available?
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 http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Re: [polyml] readline library available?
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 polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
