Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2000-07-25 16:10:51 -0700 (Tue, 25 Jul 2000)
Revision: 3032
Log message:

      Fixed the problem with loading and editing several theories that have common
      parents.
      
      Fixed a problem with bytecode make forgetting to do things in filter.
      

Changes	Path
+16 -40	metaprl/BUGS
+7 -8	metaprl/filter/Makefile
+49 -33	metaprl/filter/base/filter_cache_fun.ml
+2 -2	metaprl/mk/preface
+2 -7	metaprl/mk/rules
+15 -10	metaprl/mllib/list_util.ml