Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-24 20:23:02 -0700 (Thu, 24 Jun 2004)
Revision: 6020
Log message:

      Removing the make build system. Now the only way to build MetaPRL
      is to use omake!
      

Changes	Path
+9 -182	metaprl/Makefile
+2 -4	metaprl/OMakefile
Deleted	metaprl/bin/Makefile
Deleted	metaprl/clib/Makefile
Deleted	metaprl/debug/Makefile
Deleted	metaprl/doc/Makefile
Deleted	metaprl/doc/htmlman/chars/htmlprl.c
Deleted	metaprl/doc/latex/theories/Makefile
Deleted	metaprl/editor/java/Makefile
Deleted	metaprl/editor/ml/Makefile
+1 -1	metaprl/editor/ml/nuprl_eval.ml
Deleted	metaprl/filter/Makefile
Deleted	metaprl/filter/base/Makefile
Deleted	metaprl/filter/filter/Makefile
Deleted	metaprl/filter/phobos/Makefile
Deleted	metaprl/lib/Makefile
Deleted	metaprl/library/Makefile
+2 -6	metaprl/mk/config.win32
Deleted	metaprl/mk/cvs_realclean.sh
+0 -4	metaprl/mk/defaults
+2 -6	metaprl/mk/make_config.sh
Deleted	metaprl/mk/preface
Deleted	metaprl/mk/rules
Deleted	metaprl/mllib/Makefile
Deleted	metaprl/refiner/Makefile
Deleted	metaprl/refiner/refbase/Makefile
Deleted	metaprl/refiner/refiner/Makefile
Deleted	metaprl/refiner/reflib/Makefile
Deleted	metaprl/refiner/refsig/Makefile
Deleted	metaprl/refiner/rewrite/Makefile
Deleted	metaprl/refiner/term_ds/Makefile
+1 -1	metaprl/refiner/term_ds/term_base_ds.ml
Deleted	metaprl/refiner/term_gen/Makefile
Deleted	metaprl/refiner/term_std/Makefile
Deleted	metaprl/support/display/Makefile
Deleted	metaprl/support/shell/Makefile
Deleted	metaprl/support/tactics/Makefile
Deleted	metaprl/tactics/ensemble/Makefile
Deleted	metaprl/tactics/null/Makefile
Deleted	metaprl/tactics/proof/Makefile
Deleted	metaprl/theories/base/Makefile
Deleted	metaprl/theories/cic/Makefile
Deleted	metaprl/theories/czf/Makefile
Deleted	metaprl/theories/experimental/compile/Makefile
Deleted	metaprl/theories/experimental/compile/runtime/Makefile
Deleted	metaprl/theories/experimental/unity/Makefile
Deleted	metaprl/theories/fir/Makefile
+1 -1	metaprl/theories/fir/README
Deleted	metaprl/theories/fol/Makefile
Deleted	metaprl/theories/itt/Makefile
Deleted	metaprl/theories/kat/Makefile
Deleted	metaprl/theories/lf/Makefile
Deleted	metaprl/theories/mesa/Makefile
Deleted	metaprl/theories/ocaml_doc/Makefile
Deleted	metaprl/theories/ocaml_sos/Makefile
Deleted	metaprl/theories/phobos/Makefile
Deleted	metaprl/theories/sil/Makefile
Deleted	metaprl/theories/tptp/Makefile
Deleted	metaprl/theories/tutorial/Makefile
Deleted	metaprl/util/Makefile
+1 -5	metaprl/util/check-status.sh
+1 -5	metaprl/util/do-check-all.sh