Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-08-27 06:45:19 -0700 (Thu, 27 Aug 1998)
Revision: 2452
Log message:

      Fixed the thread problem without Ensemble.  Removed the library
      temporarily until files can be upgraded to OCaml 2.0.
      

Changes	Path
+1 -2	metaprl/Makefile
+0 -4	metaprl/editor/ml/Makefile
+2 -2	metaprl/editor/ml/shell_nl.ml
+4 -1	metaprl/ensemble/ensemble_queue.ml
+0 -2	metaprl/filter/Makefile
+4 -3	metaprl/filter/filter_cache.ml
+1 -1	metaprl/library/basic.ml
+1 -1	metaprl/library/orb.ml
+0 -3	metaprl/theories/tptp/tptp_prove.ml