Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-24 13:09:02 -0800 (Mon, 24 Jan 2005)
Revision: 6495
Log message:

      The Refiner_debug module compiles now. It probably does not work yet, but
      if someone want to try, they are welcome to set "TERMS = both" in mk/config
      

Changes	Path
+1 -1	metaprl/OMakefile
+8 -7	metaprl/refiner/refiner/Files
+4 -0	metaprl/refiner/refiner/refiner.ml
+23 -6	metaprl/refiner/refiner/refiner_debug.ml