Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-12-21 21:43:27 -0800 (Fri, 21 Dec 2001)
Revision: 3472
Log message:
- Removed util/Construct since it seems to be
unnecessary for building MetaPRL with cons.
- Minor changes to other Conscript(s).
Mostly formatting (changing tabs to spaces).
- Top level Conscript only uses the MC std. lib.
if MC_ROOT is defined. Before, if MC_ROOT wasn't
defined, the -I cmd. line arguments would have
unnecessary things like -I /lib/naml/...
- Minor changes to display forms in theories/mc.
- Minor changes to code formatting in theories/mc.
- Filled in missing Mc_fir_connect_* functions.
I need to look over them at some point for
obvious typo-bugs and perform other testing.