Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2003-11-21 14:59:22 -0800 (Fri, 21 Nov 2003)
Revision: 5118
Log message:
Added cross-session readline history support. Use environment variables
MP_HISTORY_FILE (default ~/.metaprl_history) and MP_HISTORY_LENGTH (default 100)
to customize behavior.
| Changes | Path |
| +35 -0 | metaprl/support/shell/shell_state.ml |