Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-09-05 07:43:00 -0700 (Fri, 05 Sep 2003)
Revision: 4938
Log message:

      Turn off threads.  We need them only for the threaded refiner and the
      http server.  Sometime, we should figure out how to get the build
      system to enable/disable threads.
      

Changes	Path
+4 -5	metaprl/OMakefile
+2 -1	metaprl/editor/ml/shell_http.ml
+1 -0	metaprl/mllib/http_server.ml
+2 -1	metaprl/mllib/remote_queue_null.ml
+1 -0	metaprl/refiner/reflib/term_copy2_weak.ml
+2 -1	metaprl/support/shell/mux_channel.ml
+1 -0	metaprl/support/shell/package_info.ml
+1 -0	metaprl/support/shell/proof_edit.ml
+1 -0	metaprl/support/shell/recursive_lock.ml
+1 -0	metaprl/support/shell/shell.ml
+1 -0	metaprl/support/shell/shell_state.ml
+2 -1	metaprl/tactics/proof/proof_boot.ml