Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-25 17:12:49 -0800 (Tue, 25 Nov 2003)
Revision: 5122
Log message:

      Go back to the old incremental GC on the trunk. Hopefully, this will allow us
      to collect more data on this crazy bug.
      
      *** Please post to the NG if you see MetaPRL suddenly complaining about PRL ***
      *** contents in a module that you have not changed!!!                       ***
      

Changes  Path
+0 -15 metaprl/mllib/hash_with_gc.ml
+0 -2 metaprl/mllib/hash_with_gc_sig.ml
+45 -211 metaprl/mllib/weak_memo.ml
+2 -10 metaprl/mllib/weak_memo.mli
+0 -19 metaprl/mllib/weak_memo_sig.ml
+9 -32 metaprl/refiner/reflib/term_copy2_weak.ml
+1 -2 metaprl/refiner/reflib/term_copy2_weak.mli
+1 -4 metaprl/refiner/refsig/term_hash_sig.ml
+8 -25 metaprl/refiner/term_gen/term_hash.ml
+12 -12 metaprl/tactics/proof/proof_term_boot.ml