Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-10-12 18:52:18 -0700 (Mon, 12 Oct 1998)
Revision: 2497
Log message:

      Renaming it in Makefiles:
      NLLIB -> MPLIB, NLFILES -> MPFILES, NL2FILES -> MP2FILES, etc.
      

Changes	Path
+3 -3	metaprl/Makefile
+1 -1	metaprl/clib/Makefile
+2 -2	metaprl/editor/ml/Makefile
+1 -1	metaprl/editor/ml/mpconfig
+2 -2	metaprl/editor/ml/shell_p4.ml
+1 -1	metaprl/ensemble/Makefile
+1 -1	metaprl/filter/Makefile
+2 -2	metaprl/filter/filter_main.ml
+9 -9	metaprl/filter/prlcomp.ml
+1 -1	metaprl/library/Makefile
+2 -2	metaprl/library/registry.ml
+28 -28	metaprl/mk/config
+2 -2	metaprl/mk/preface
+1 -1	metaprl/mllib/Makefile
+1 -1	metaprl/refiner/refbase/Makefile
+1 -1	metaprl/refiner/refiner/Makefile
+1 -1	metaprl/refiner/reflib/Makefile
+1 -1	metaprl/refiner/refsig/Makefile
+1 -1	metaprl/refiner/rewrite/Makefile
+1 -1	metaprl/refiner/term_ds/Makefile
+1 -1	metaprl/refiner/term_gen/Makefile
+1 -1	metaprl/refiner/term_std/Makefile
+1 -1	metaprl/theories/base/Makefile
+1 -1	metaprl/theories/czf/Makefile
+1 -1	metaprl/theories/fol/Makefile
+1 -1	metaprl/theories/itt/Makefile
+1 -1	metaprl/theories/itt/test
+1 -1	metaprl/theories/ocaml/Makefile
+1 -1	metaprl/theories/ocaml_sos/Makefile
+1 -1	metaprl/theories/reflect_itt/Makefile
+1 -1	metaprl/theories/tactic/Makefile
+1 -1	metaprl/theories/tptp/Makefile