Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-04 14:26:57 -0700 (Fri, 04 Jun 2004)
Revision: 5852
Log message:

      Removing some unused code (because it is using some APIs that I want
      to make private).
      

Changes	Path
+0 -32	metaprl/support/shell/shell.ml
+0 -1	metaprl/support/shell/shell_sig.mlz