Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-09-03 14:34:13 -0700 (Wed, 03 Sep 2003)
Revision: 4915
Log message:

      Copy files from the $(PREBUILT_CLIBS) directory.
      

Changes	Path
+1 -3	metaprl/OMakefile
+34 -29	metaprl/clib/OMakefile
+1 -1	metaprl/mllib/weak_memo.ml
+1 -0	metaprl/support/shell/shell.ml
+2 -0	metaprl/support/shell/shell.mli
+8 -25	metaprl/theories/base/base_rewrite.ml
+1 -11	metaprl/theories/itt/itt_int_base.mli
+1 -19	metaprl/theories/itt/itt_int_ext.mli