Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-11-30 21:46:23 -0800 (Sat, 30 Nov 2002)
Revision: 3939
Log message:

      MetaPRL files are now at http://files.metaprl.org/, not at
      ftp://ftp.cs.cornell.edu/pub/nuprl/MetaPRL/
      

Changes	Path
+1 -1	metaprl/README
+2 -1	metaprl/doc/htmlman/mp-install.html
+4 -3	metaprl/doc/htmlman/mp.html
+9 -2	metaprl/util/check-status.sh