Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-09 19:02:18 -0700 (Wed, 09 Jun 2004)
Revision: 5872
Log message:

      Simplified the code a bit (by moving the commands record hack into the
      Top submodule).
      

Changes  Path
+27 -38 metaprl/support/shell/shell.ml