Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-05-29 07:53:34 -0700 (Fri, 29 May 1998)
Revision: 2201
Log message:

      Better Makefiles.
      

Changes	Path
+6 -18	metaprl/Makefile
Properties	metaprl/bin
Added	metaprl/bin/Makefile
Properties	metaprl/bin/Makefile
+12 -2	metaprl/clib/Makefile
+36 -33	metaprl/editor/emacs/caml.el
+28 -21	metaprl/editor/ml/Makefile
+9 -0	metaprl/editor/ml/package_info.ml
+4 -0	metaprl/editor/ml/package_type.mlz
+63 -0	metaprl/editor/ml/shell.ml
+23 -9	metaprl/editor/ml/shell_rewrite.ml
+5 -8	metaprl/editor/ml/shell_rewrite.mli
+119 -23	metaprl/filter/Makefile
+4 -0	metaprl/filter/filter_cache_fun.ml
+4 -1	metaprl/filter/filter_summary.ml
+4 -1	metaprl/filter/filter_summary.mli
+4 -0	metaprl/filter/filter_summary_type.mlz
+3 -7	metaprl/filter/infix.ml
+30 -21	metaprl/filter/prlcomp.ml
+1 -0	metaprl/horus/Makefile
Properties	metaprl/lib
Added	metaprl/lib/Makefile
Properties	metaprl/lib/Makefile
+21 -15	metaprl/library/Makefile
+33 -17	metaprl/mk/config
+15 -6	metaprl/mllib/Makefile
+3 -2	metaprl/theories/base/Makefile
+3 -2	metaprl/theories/itt/Makefile
+1 -0	metaprl/theories/lf/Makefile
+4 -2	metaprl/theories/ocaml/Makefile
+2 -1	metaprl/theories/ocaml_sos/Makefile
+4 -3	metaprl/theories/tactic/Makefile
+2 -4	metaprl/util/Makefile
+1 -3	metaprl/util/ocamldep.mll