Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-05-17 17:20:36 -0700 (Sat, 17 May 2003)
Revision: 4605
Log message:

      Temporary modification aimed to catch source of problems with weak array,
      wich is replaced with two weak arrays (DoubledWeak plays a role of Weak).
      Right now I can not reproduce the problem with weak array so everybody who
      still have it please respond how behavior changed with this update.
      

Changes	Path
+59 -0	metaprl/mllib/weak_memo.ml