Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-09-05 07:42:58 -0700 (Fri, 05 Sep 2003)
Revision: 171
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
+1 -0 libmojave/stdlib/Files
+6 -5 libmojave/stdlib/lm_thread_event.ml
+6 -5 libmojave/stdlib/lm_thread_util.ml
Added libmojave/stdlib/lm_threads.ml
Properties libmojave/stdlib/lm_threads.ml
Added libmojave/stdlib/lm_threads.mli
Properties libmojave/stdlib/lm_threads.mli
+1 -0 libmojave/unix/lm_id.ml