Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-09-02 03:20:58 -0700 (Thu, 02 Sep 2004)
Revision: 6158
Log message:

      Some code in proof_edit relied on left-to-right order of evaluation of
      tuple components. Turns out that the order is actually right-to left (at
      least in this particular case), so I had to rewrite the code making the
      evaluation order more explicit.
      

Changes  Path
+22 -19 metaprl/support/shell/proof_edit.ml
+0 -3 metaprl/support/shell/shell.ml
+1 -1 metaprl/support/shell/shell_command.mli