Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-01-31 13:42:08 -0800 (Sun, 31 Jan 1999)
Revision: 2580
Log message:
Added "simp" and "verb" rules to Makefiles. There are no *.mlp and *.mlip
files in the refiner any longer. Instead, the C-preprocessor is run at
compile time.
By default, the verbose refiner is generated. To get the others, use
make simp, or make opt_simp.