Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-24 15:37:47 -0700 (Thu, 24 Apr 2003)
Revision: 4483
Log message:

      The MC theory is dead.
      

Changes	Path
+1 -1	metaprl/mk/preface
Deleted	metaprl/theories/mc/Conscript
Deleted	metaprl/theories/mc/Makefile
Deleted	metaprl/theories/mc/OMakefile
Deleted	metaprl/theories/mc/README
Deleted	metaprl/theories/mc/TODO
Deleted	metaprl/theories/mc/mp_mc_base.ml
Deleted	metaprl/theories/mc/mp_mc_base.ml.old
Deleted	metaprl/theories/mc/mp_mc_base.mli
Deleted	metaprl/theories/mc/mp_mc_compile.ml
Deleted	metaprl/theories/mc/mp_mc_compile.ml.old
Deleted	metaprl/theories/mc/mp_mc_compile.mli
Deleted	metaprl/theories/mc/mp_mc_connect_base.ml
Deleted	metaprl/theories/mc/mp_mc_connect_base.mli
Deleted	metaprl/theories/mc/mp_mc_connect_exp.ml
Deleted	metaprl/theories/mc/mp_mc_connect_exp.mli
Deleted	metaprl/theories/mc/mp_mc_connect_prog.ml
Deleted	metaprl/theories/mc/mp_mc_connect_prog.mli
Deleted	metaprl/theories/mc/mp_mc_connect_ty.ml
Deleted	metaprl/theories/mc/mp_mc_connect_ty.mli
Deleted	metaprl/theories/mc/mp_mc_const_elim.ml
Deleted	metaprl/theories/mc/mp_mc_const_elim.mli
Deleted	metaprl/theories/mc/mp_mc_const_elim.prla
Deleted	metaprl/theories/mc/mp_mc_deadcode.ml
Deleted	metaprl/theories/mc/mp_mc_deadcode.mli
Deleted	metaprl/theories/mc/mp_mc_deadcode.prla
Deleted	metaprl/theories/mc/mp_mc_fir_base.ml
Deleted	metaprl/theories/mc/mp_mc_fir_base.mli
Deleted	metaprl/theories/mc/mp_mc_fir_eval.ml
Deleted	metaprl/theories/mc/mp_mc_fir_eval.mli
Deleted	metaprl/theories/mc/mp_mc_fir_eval.prla
Deleted	metaprl/theories/mc/mp_mc_fir_exp.ml
Deleted	metaprl/theories/mc/mp_mc_fir_exp.mli
Deleted	metaprl/theories/mc/mp_mc_fir_phobos.ml
Deleted	metaprl/theories/mc/mp_mc_fir_phobos.mli
Deleted	metaprl/theories/mc/mp_mc_fir_prog.ml
Deleted	metaprl/theories/mc/mp_mc_fir_prog.mli
Deleted	metaprl/theories/mc/mp_mc_fir_ty.ml
Deleted	metaprl/theories/mc/mp_mc_fir_ty.mli
Deleted	metaprl/theories/mc/mp_mc_inline.ml
Deleted	metaprl/theories/mc/mp_mc_inline.mli
Deleted	metaprl/theories/mc/mp_mc_inline_aux.ml
Deleted	metaprl/theories/mc/mp_mc_inline_aux.mli
Deleted	metaprl/theories/mc/mp_mc_theory.mlz
Deleted	metaprl/theories/mc/tests/Conscript
Deleted	metaprl/theories/mc/tests/Makefile
Deleted	metaprl/theories/mc/tests/mp_mc_test.ml
Deleted	metaprl/theories/mc/tests/mp_mc_test.mli
Deleted	metaprl/theories/mc/tests/mp_mc_test_connect.ml
Deleted	metaprl/theories/mc/tests/mp_mc_test_connect.mli
Deleted	metaprl/theories/mc/tests/mp_mc_test_connect_base.ml
Deleted	metaprl/theories/mc/tests/mp_mc_test_connect_base.mli
Deleted	metaprl/theories/mc/tests/mp_mc_test_connect_exp.ml
Deleted	metaprl/theories/mc/tests/mp_mc_test_connect_exp.mli
Deleted	metaprl/theories/mc/tests/mp_mc_test_connect_ty.ml
Deleted	metaprl/theories/mc/tests/mp_mc_test_connect_ty.mli