Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-12-31 15:39:42 -0800 (Thu, 31 Dec 1998)
Revision: 2542
Log message:

      Faster propDecideT.
      

Changes	Path
+83 -31	metaprl/editor/ml/test.ml
+1 -1	metaprl/editor/ml/y.ml