On Wed, Nov 22 2017, Per Bothner wrote: >> Uhm, a REPL that wants to print its own prompt? > > In which case you'd override the default prompt. Yes, I'll do that. Helmut