Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-08-02 20:47:59 -0700 (Sun, 02 Aug 1998)
Revision: 2396
Log message:

      It is $(ROOT), not $(REF_ROOT)
      

Changes  Path
+11 -11 metaprl/theories/rewrite/Makefile