Re: [armedbear-devel] regarding ticket #87: input history for REPL