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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
