Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-12-31 14:31:08 -0800 (Thu, 31 Dec 1998)
Revision: 2539
Log message:

      The list of include directories is now defined in mpconfig
      to avoid redundancy and to ensure that mp, mptop and mpopt
      use the same list (mpopt was missing some directories).
      

Changes	Path
+1 -1	metaprl/editor/ml/mp
+1 -0	metaprl/editor/ml/mpconfig
+1 -1	metaprl/editor/ml/mpopt
+1 -1	metaprl/editor/ml/mptop