Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-02-21 16:40:43 -0800 (Mon, 21 Feb 2000)
Revision: 2901
Log message:

      Added profiling comtrol to some tests
      
      Added explicit include of the mk/preface to some Makefiles
      

Changes	Path
Properties	metaprl/editor/ml/tests
+2 -0	metaprl/editor/ml/tests/f650.ml
+2 -0	metaprl/editor/ml/tests/p4.ml
+1 -0	metaprl/library/Makefile
+1 -0	metaprl/mllib/Makefile
+1 -0	metaprl/refiner/refbase/Makefile
+1 -0	metaprl/refiner/refiner/Makefile
+1 -0	metaprl/refiner/reflib/Makefile
+1 -0	metaprl/refiner/refsig/Makefile
+1 -0	metaprl/refiner/rewrite/Makefile
+1 -0	metaprl/refiner/term_ds/Makefile
+1 -0	metaprl/refiner/term_gen/Makefile
+1 -0	metaprl/refiner/term_std/Makefile
+1 -0	metaprl/theories/base/Makefile
+1 -0	metaprl/theories/czf/Makefile
+1 -0	metaprl/theories/fol/Makefile
+1 -0	metaprl/theories/itt/Makefile
+1 -0	metaprl/theories/lf/Makefile
+1 -0	metaprl/theories/ocaml/Makefile
+1 -0	metaprl/theories/ocaml_sos/Makefile
+1 -0	metaprl/theories/reflect_itt/Makefile
+1 -0	metaprl/theories/sil/Makefile
+1 -0	metaprl/theories/tptp/Makefile
+1 -0	metaprl/theories/tutorial/Makefile