Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-19 21:34:09 -0700 (Sun, 19 Oct 2003)
Revision: 222
Log message:
Merged the existential_nodes branch to the trunk.
For the ommit log, see the last log on the existential_nodes branch.
Revision is updated to 0.7.1. This version builds MetaPRL without
problems on Linux, and on Windows without the -j option. Please
tell any problems! This version acts a little differently, in
preparation for fixpoint rules. I've checked, it seems stable,
but let me know.