Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-19 15:08:10 -0700 (Sat, 19 Jun 2004)
Revision: 5950
Log message:

      By default (i.e. when outside of a package), use Shell_theory display forms,
      not just the Summary ones.
      

Changes	Path
+1 -0	metaprl/support/shell/shell_command.ml
+1 -1	metaprl/support/shell/shell_core.ml