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

      Moved the initialization of common paths ($MPLIB, $MP_HOME, ~/.metaprl, etc)
      into the mllib/setup module.
      

Changes	Path
+7 -7	metaprl/OMakefile
+3 -14	metaprl/filter/base/filter_spell.ml
+1 -1	metaprl/filter/filter/prlcomp.ml
+2 -2	metaprl/library/registry.ml
+6 -6	metaprl/mk/rules
+1 -0	metaprl/mllib/Files
+2 -10	metaprl/mllib/env_arg.ml
+0 -4	metaprl/mllib/env_arg.mli
+2 -2	metaprl/mllib/http_simple.ml
Added	metaprl/mllib/setup.ml
Properties	metaprl/mllib/setup.ml
Added	metaprl/mllib/setup.mli
Properties	metaprl/mllib/setup.mli
+2 -38	metaprl/proxyedit/proxyedit_main.ml
+0 -1	metaprl/refiner/reflib/Files
Deleted	metaprl/refiner/reflib/env_boot.ml
Deleted	metaprl/refiner/reflib/env_boot.mli
+26 -36	metaprl/support/shell/browser_copy.mll
+39 -64	metaprl/support/shell/browser_state.ml
+6 -27	metaprl/support/shell/shell_browser.ml
+18 -28	metaprl/support/shell/shell_state.ml
+5 -43	metaprl/support/shell/shell_syscall.ml