> However, a naïve work-around in terms of a Gray stream wrapper > around *terminal-io* seems to work quite well, see > > http://members.inode.at/wjenkner/maxima/tty-io.lisp New version, much simpler, more reasonable, barely tested, available at the same url. Wolfgang