Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-19 16:01:14 -0700 (Sat, 19 Jun 2004)
Revision: 5952
Log message:

      Moved file display forms from Summary to Shell_fs.
      

Changes  Path
+0 -40 metaprl/support/display/summary.ml
+0 -7 metaprl/support/display/summary.mli
+6 -4 metaprl/support/shell/session.ml
+9 -1 metaprl/support/shell/session_sig.mlz
+37 -3 metaprl/support/shell/shell_current.ml
+37 -0 metaprl/support/shell/shell_fs.ml