Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-12-09 20:56:12 -0800 (Mon, 09 Dec 2002)
Revision: 3948
Log message:

      - For some reason hash table resize used the folrmula
      x := ((x+1)*2)-1
      instead of just
      x := (x*2) + 1
      ...
      
      - Added a version of mpxterm script that uses a slightly larger font
      (useful for demos).
      

Changes  Path
Added metaprl/editor/ml/mpxterm-large
Properties metaprl/editor/ml/mpxterm-large
+1 -1 metaprl/library/mathBus.ml
+1 -1 metaprl/mllib/hash_with_gc.ml
+1 -1 metaprl/mllib/memo.ml
+1 -1 metaprl/mllib/simplehashtbl.ml
+1 -1 metaprl/mllib/weak_memo.ml