Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-08 12:06:51 -0800 (Tue, 08 Feb 2005)
Revision: 6631
Log message:

      Progress toward removing package info that is not needed.
      
      This just changes the package base to include only loaded packages.
      Packages are auto-loaded as normal, so you shouldn't see any
      change in behavior.
      
      For the next step, we want to be able to garbage collect unmodified
      packages that are no longer in use.
      

Changes  Path
+33 -34 metaprl/support/shell/package_info.ml
+32 -4 metaprl/support/shell/package_info.mli
+2 -2 metaprl/support/shell/shell.ml
+27 -6 metaprl/support/shell/shell_core.ml
+2 -1 metaprl/support/shell/shell_core.mli
+2 -1 metaprl/support/shell/shell_root.ml