Hi, I have created pull request #168 on GitHub ( https://github.com/plt/racket/pull/168) which add two new functions to readline/readline for loading/saving the history from/to a file.
Could you please merge this change ? Thanks in advance. Regards, Philippe Mechaï PS: I had previously sent an email about this change but I deleted the previous pull request to put my patch in a separate git branch.
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
