Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-02-17 14:44:34 -0800 (Thu, 17 Feb 2000)
Revision: 2886
Log message:

      Now ``cd "/theory"'' also initializes the theory, so there is no need
      to do ``ls ""'' before being able to type in terms and use the theory.
      
      P.S. There is probably a better way to this, so I marked it as HACK.
      

Changes	Path
+2 -0	metaprl/editor/ml/shell.ml