Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-04 11:30:48 -0800 (Sun, 04 Jan 2004)
Revision: 5221
Log message:

      Fixing couple of unescaped backslashes.
      

Changes	Path
+1 -1	metaprl/editor/ml/nuprl_eval.ml
+70 -80	metaprl/editor/ml/nuprl_run.ml