Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-01-25 10:21:31 -0800 (Mon, 25 Jan 1999)
Revision: 2573
Log message:

      Distributed refiner for CADE-16.
      

Changes	Path
+9 -6	metaprl/clib/Makefile
+16 -34	metaprl/editor/ml/Makefile
+1 -1	metaprl/editor/ml/mpconfig
+5 -11	metaprl/editor/ml/test.ml
+9 -3	metaprl/ensemble/Makefile
+5 -0	metaprl/ensemble/appl_outboard_server.ml
+1 -0	metaprl/ensemble/ensemble_queue.ml
+2 -2	metaprl/ensemble/remote_ensemble.ml
+1 -1	metaprl/ensemble/remote_null.ml
+1 -1	metaprl/ensemble/remote_sig.mlz
+19 -9	metaprl/ensemble/thread_refiner_ens.ml
+17 -12	metaprl/filter/Makefile
+18 -8	metaprl/mk/config
+3 -1	metaprl/theories/itt/itt_bool.ml
+8 -0	metaprl/theories/itt/itt_int.ml
+9 -1	metaprl/theories/itt/itt_int_bool.ml
+5 -5	metaprl/theories/itt/itt_int_bool.mli
+2 -1	metaprl/theories/itt/itt_rfun.ml
+15 -11	metaprl/theories/itt/itt_test.ml
+6 -19	metaprl/theories/ocaml_sos/Makefile
+23 -32	metaprl/theories/ocaml_sos/ocaml_base_sos.ml
+19 -12	metaprl/theories/ocaml_sos/ocaml_base_sos.mli