Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-01-22 15:38:59 -0800 (Tue, 22 Jan 2002)
Revision: 3478
Log message:
1) The main Conscript has been modified. Added lines for CPP so that MC
compiles properly from MetaPRL.
2) Renamed some files in theories/mc/ so as to not confliced with
files in MC. I've chosen the (arguably atrocious) prefix
of mp_mc_.
Assuming string_util.ml and rformat.ml, in the MC source tree,
are renamed to something else and the changes propagated as
necessary, this commit should re-enable MetaPRL and MC to build together
(using cons).