Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-24 16:34:17 -0800 (Mon, 24 Nov 2003)
Revision: 5119
Log message:

      - Do not print a warning message in the Readline history file does not exist.
      
      - Fixed some of the summary dforms (this is a follow-up for
      http://cvs.cs.cornell.edu:12000/commitlogs/metaprl/2003-11.html#03/11/19.14:50:46 )
      
      - Updated the BUGS list a bit.
      

Changes	Path
+12 -51	metaprl/BUGS
+3 -3	metaprl/support/display/summary.ml
+3 -3	metaprl/support/display/summary.mli
+4 -2	metaprl/support/shell/shell_state.ml