Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-03-11 08:03:51 -0800 (Mon, 11 Mar 2002)
Revision: 3540
Log message:

      Updated theories/mc/Makefile to
      reflect new file names (oops!).
      Changed editor/ml/Conscript to use a more
      appropriate mechanism for declaring the
      hidden dependencies of mpopt.
      

Changes	Path
+2 -2	metaprl/editor/ml/Conscript
+1 -1	metaprl/theories/mc/Makefile