Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-21 13:45:50 -0800 (Sun, 21 Mar 2004)
Revision: 5507
Log message:

      Adding -I ../../theories/mojave/extensions/tuple.
      
      Please remember to update mpconfig when adding new directories!
      

Changes	Path
+1 -1	metaprl/editor/ml/mpconfig