Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-03-11 01:54:10 -0800 (Mon, 11 Mar 2002)
Revision: 3533
Log message:
I've renamed theories/mc/fir_eval to use my
(attrocious) prefix so that a file name collision
with fir_eval in the MC source tree doesn't happen.
Other files in theories/mc have been changed
accordingly.
I've renamed mp_mc_theory to just use a .mlz
file since the .ml and .mli files were the
exact same and it's a hassle to modify them
both whenever they need to be changed.
I've updated editor/ml/Conscript so that mpopt
actually includes the Itt_theory and Mp_mc_theory.
This makes it much more useful.
mc/Conscript has been updated to reflect new code
in the MC source tree.
After this, MetaPRL should compile with the
main trunk of the MC source tree if the MC_ROOT
environment variable is set appropriately.