Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-09 09:35:49 -0800 (Wed, 09 Feb 2005)
Revision: 6642
Log message:
- The status_and_abandon_all will now call Package_info.abandon instead of
abandon_all after every package (abandon_all is too verbose, spends time
iterating over all packages, clears resources, which are all undesired here)
- Implemented Mp_resource.clear. Note - this destructs _all_ the cache, which
will make resource processing slower in theories you have not visited yet
(provided they have common ancestors with the theories you did visit).