Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-20 14:31:15 -0800 (Tue, 20 Nov 2001)
Revision: 3452
Log message:
- More term operations. Everything in fir_ty and fir_exp should
have term (de)construction operations now.
- Started redoing the README file.
- IMPORTANT: At this point, the default compile setup for the MC theory
will depend on the source tree for the mojave compiler being present.
- WARNING: For those using cons, the update of fir_marshal here breaks
compilation of mp.opt due to a library conflict.