Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-01 16:47:36 -0700 (Thu, 01 May 2003)
Revision: 4534
Log message:

      The top-level directory for MetaPRL is now supposed to be just "metaprl"
      (e.g. without a dash).
      

Changes	Path
Deleted	metaprl/.cpdir
Deleted	metaprl/.cprc
Deleted	metaprl/clib/.cprc
+1 -1	metaprl/doc/htmlman/developer-guide/refiner_verb_and_simp.html
+2 -2	metaprl/doc/htmlman/mp-cvs-rw.html
+1 -1	metaprl/doc/htmlman/mp-index.html
+10 -10	metaprl/doc/htmlman/mp-install.html
+1 -1	metaprl/doc/htmlman/mp.html
+1 -1	metaprl/doc/htmlman/seminars.html
+2 -2	metaprl/doc/htmlman/tutorial/mp_fol_ctheory1.txt
+1 -1	metaprl/doc/htmlman/tutorial/mp_fol_not1.txt
+2 -2	metaprl/doc/htmlman/tutorial/mp_fol_theory1.txt
+1 -1	metaprl/doc/htmlman/user-guide/mp-axiom.html
+2 -2	metaprl/doc/misc/UIDesign.html
+2 -2	metaprl/doc/resources_spec.txt
Deleted	metaprl/editor/.cprc
+15 -15	metaprl/editor/emacs/prl-hack.el
+1 -1	metaprl/editor/ml/Makefile
+2 -2	metaprl/editor/ml/OMakefile
+7 -7	metaprl/editor/ml/QUICKSTART
+2 -2	metaprl/editor/ml/nuprl_run.ml
+1 -1	metaprl/ensemble/appl_outboard_common.ml
Deleted	metaprl/filter/.cprc
+26 -26	metaprl/mllib/index.html
+1 -1	metaprl/refiner/reflib/jall.ml
Deleted	metaprl/theories/.cprc
Deleted	metaprl/theories/base/.cprc
Deleted	metaprl/theories/itt/.cprc
Deleted	metaprl/theories/tactic/.cprc