Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-12 19:34:07 -0700 (Sat, 12 Jun 1999)
Revision: 2706
Log message:

      Small changes
      

Changes	Path
+0 -1	metaprl/BUGS
+1 -0	metaprl/Makefile
+1 -2	metaprl/refiner/refiner/refine.ml
+1 -1	metaprl/refiner/rewrite/rewrite_match_redex.ml