Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-10-13 02:01:06 -0700 (Tue, 13 Oct 1998)
Revision: 2502
Log message:

      More NL -> MP changes
      

Changes	Path
+2 -2	metaprl/doc/htmlman/default.html
+1 -1	metaprl/doc/htmlman/framework/mp-index.html
+7 -7	metaprl/doc/htmlman/mp-index.html
+1 -1	metaprl/doc/htmlman/mp-install.html
+9 -9	metaprl/doc/htmlman/system/mp-arch.map
+1 -1	metaprl/doc/htmlman/system/mp-base.html
+2 -2	metaprl/doc/htmlman/system/mp-index.html
+1 -1	metaprl/doc/htmlman/system/mp-tactic.html
+1 -1	metaprl/doc/htmlman/tutorial/mp-getting-started.html
+2 -2	metaprl/doc/htmlman/tutorial/mp-index.html
+1 -1	metaprl/doc/htmlman/tutorial/mp-not.html
+10 -10	metaprl/doc/htmlman/user-guide/mp-editor.html
+2 -2	metaprl/doc/htmlman/user-guide/mp-index.html
+1 -1	metaprl/doc/htmlman/user-guide/x.html
+7 -7	metaprl/editor/ml/Makefile
+1 -1	metaprl/editor/ml/library_eval.ml
+1 -1	metaprl/editor/ml/mp_version.mli
+2 -2	metaprl/editor/ml/shell_p4.ml
+1 -1	metaprl/editor/ml/shell_p4_type.mlz
+1 -1	metaprl/filter/filter_ocaml.mli
+22 -22	metaprl/filter/filter_prog.ml
+2 -2	metaprl/filter/prlcomp.ml
+1 -1	metaprl/theories/tactic/mptop.ml