Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-11 03:23:07 -0700 (Fri, 11 Jun 2004)
Revision: 5882
Log message:

      Removed a huge number of repeatitions of
      try getenv "MPLIB" with ...
      Now the Env_arg module is the "authoritative" source for this.
      

Changes  Path
+1 -6 metaprl/editor/ml/shell_p4.ml
+3 -9 metaprl/filter/base/filter_spell.ml
+1 -4 metaprl/filter/filter/prlcomp.ml
+2 -6 metaprl/library/registry.ml
+7 -2 metaprl/mllib/env_arg.ml
+4 -0 metaprl/mllib/env_arg.mli
+2 -7 metaprl/mllib/http_simple.ml
+0 -5 metaprl/refiner/reflib/env_boot.ml
+0 -1 metaprl/refiner/reflib/env_boot.mli
+1 -0 metaprl/support/shell/browser_copy.mll