Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-19 22:18:25 -0700 (Mon, 19 May 2003)
Revision: 4617
Log message:

      - Refiner was not passing the assumptions to rewriter when checking
      a conditional rewrite at compile-time. As a result, the check was incomplete.
      - Added "-sb -sl 1000" to xterm scripts.
      

Changes	Path
+1 -1	metaprl/editor/ml/mpxterm
+1 -1	metaprl/editor/ml/mpxterm-large
+5 -9	metaprl/refiner/refiner/refine.ml