Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-08 18:49:29 -0700 (Tue, 08 Apr 2003)
Revision: 4404
Log message:

      - Now the Pcaml.Qerror exceptions are pretty-printed correctly
      (instead of just being printed in the unexpanded format), so
      the term parsing errors are reported in a human-readable way now.
      - When there is a parsing error, the readline buffer is flushed
      (which means no further error get reported when it attempts to parse
      the ramaining buffer starting at a random point where the previous
      parsing attempt failed).
      

Changes	Path
+14 -28	metaprl/editor/ml/shell_mp.ml
+1 -1	metaprl/editor/ml/shell_p4_sig.mlz
+5 -1	metaprl/editor/ml/shell_state.ml
+88 -72	metaprl/filter/base/filter_exn.ml