Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-23 22:58:21 -0700 (Wed, 23 Jul 2003)
Revision: 4772
Log message:

      When going over a theory or theories (status_all/expand_all/etc), throw
      away some of the cached resource data after we are done with each item.
      
      This significantly reduces the memory usage of "status_all" and makes it
      approx. 3 times faster on Mojave clients.
      

Changes	Path
+5 -0	metaprl/refiner/reflib/mp_resource.ml
+2 -0	metaprl/refiner/reflib/mp_resource.mli
+71 -73	metaprl/support/shell/shell.ml