Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-20 15:45:34 -0700 (Sun, 20 Jun 2004)
Revision: 5959
Log message:

      Changed apply_all to do the right thing in case it is called inside
      a "/group" directory. Also, added a bit of sanity checking to it
      (so now apply_all would fail when inside of a proof as opposed to
      suddenly applying things to the whole package).
      

Changes	Path
+26 -14	metaprl/support/shell/shell_core.ml