Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-05-10 14:13:43 -0700 (Sat, 10 May 2003)
Revision: 4581
Log message:

      These are patches to enable MetaPRL to build under MacOS X.
      The README.MACOSX file is pretty raw.  It's enough for me to
      remember how I built MetaPRL under OS X, but it is probably
      insufficient for the average user.  I will update and make it
      more verbose the next chance I get.
      

Changes	Path
Added	metaprl/README.MACOSX
Properties	metaprl/README.MACOSX
+3 -3	metaprl/editor/ml/nuprl_jprover.ml
+5 -0	metaprl/mk/rules