Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-23 18:42:12 -0800 (Mon, 23 Jan 2006)
Revision: 8579
Log message:

      Made the default browser command configurable via the mk/config.
      

Changes  Path
+4 -8 metaprl/filter/OMakefile
+1 -1 metaprl/filter/filter/filter_parse.ml
+8 -0 metaprl/mk/defaults
+13 -0 metaprl/mk/load_config
+10 -0 metaprl/mk/make_config
+1 -8 metaprl/mllib/setup.ml
+0 -5 metaprl/mllib/setup.mli
+9 -5 metaprl/support/shell/OMakefile
+1 -1 metaprl/support/shell/shell_browser.ml
+4 -2 metaprl/support/shell/shell_state.ml
+2 -2 metaprl/theories/itt/reflection/experimental/itt_hoas_relax1.ml
+2 -2 metaprl/theories/itt/reflection/experimental/itt_hoas_sequent_bterm2.ml