Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-09-06 16:24:09 -0700 (Tue, 06 Sep 2005)
Revision: 7708
Log message:

      OMakefiles for omake 0.9.7
      

Changes	Path
+59 -53	metaprl-branches/omake_0_9_7_pre6/OMakefile
+4 -5	metaprl-branches/omake_0_9_7_pre6/OMakeroot
+2 -2	metaprl-branches/omake_0_9_7_pre6/clib/OMakefile
+9 -9	metaprl-branches/omake_0_9_7_pre6/debug/OMakefile
+9 -9	metaprl-branches/omake_0_9_7_pre6/doc/OMakefile
+3 -3	metaprl-branches/omake_0_9_7_pre6/doc/latex/theories/OMakefile
+40 -40	metaprl-branches/omake_0_9_7_pre6/editor/ml/OMakefile
+26 -25	metaprl-branches/omake_0_9_7_pre6/filter/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/filter/base/Files
+8 -7	metaprl-branches/omake_0_9_7_pre6/filter/base/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/filter/filter/OMakefile
+4 -4	metaprl-branches/omake_0_9_7_pre6/library/OMakefile
+62 -59	metaprl-branches/omake_0_9_7_pre6/mk/defaults
+1 -1	metaprl-branches/omake_0_9_7_pre6/mk/make_config
+2 -2	metaprl-branches/omake_0_9_7_pre6/mk/prlcomp
+1 -1	metaprl-branches/omake_0_9_7_pre6/mllib/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/proxyedit/OMakefile
+10 -9	metaprl-branches/omake_0_9_7_pre6/refiner/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/refiner/refbase/Files
+1 -1	metaprl-branches/omake_0_9_7_pre6/refiner/refiner/Files
+1 -1	metaprl-branches/omake_0_9_7_pre6/refiner/reflib/Files
+1 -1	metaprl-branches/omake_0_9_7_pre6/refiner/refsig/Files
+1 -1	metaprl-branches/omake_0_9_7_pre6/refiner/rewrite/Files
+1 -1	metaprl-branches/omake_0_9_7_pre6/refiner/rewrite/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/refiner/term_ds/Files
+1 -1	metaprl-branches/omake_0_9_7_pre6/refiner/term_ds/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/refiner/term_gen/Files
+1 -1	metaprl-branches/omake_0_9_7_pre6/refiner/term_gen/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/refiner/term_std/Files
+1 -1	metaprl-branches/omake_0_9_7_pre6/refiner/term_std/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/support/display/OMakefile
+2 -2	metaprl-branches/omake_0_9_7_pre6/support/doc/OMakefile
+3 -3	metaprl-branches/omake_0_9_7_pre6/support/shell/OMakefile
+3 -3	metaprl-branches/omake_0_9_7_pre6/support/shell/inputs/OMakefile
+3 -3	metaprl-branches/omake_0_9_7_pre6/support/tactics/OMakefile
+8 -8	metaprl-branches/omake_0_9_7_pre6/tactics/ensemble/OMakefile
+2 -2	metaprl-branches/omake_0_9_7_pre6/tactics/null/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/tactics/proof/OMakefile
+2 -2	metaprl-branches/omake_0_9_7_pre6/theories/base/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/theories/cic/OMakefile
+2 -2	metaprl-branches/omake_0_9_7_pre6/theories/czf/OMakefile
+7 -7	metaprl-branches/omake_0_9_7_pre6/theories/experimental/compile/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/theories/experimental/mcc/fir/type/OMakefile
+2 -2	metaprl-branches/omake_0_9_7_pre6/theories/experimental/unity/OMakefile
+2 -2	metaprl-branches/omake_0_9_7_pre6/theories/fir/OMakefile
+2 -2	metaprl-branches/omake_0_9_7_pre6/theories/fol/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/theories/hol/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/theories/ilc/OMakefile
+9 -8	metaprl-branches/omake_0_9_7_pre6/theories/itt/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/theories/kat/OMakefile
+5 -4	metaprl-branches/omake_0_9_7_pre6/theories/mesa/OMakefile
+4 -4	metaprl-branches/omake_0_9_7_pre6/theories/ocaml_doc/OMakefile
+2 -2	metaprl-branches/omake_0_9_7_pre6/theories/ocaml_sos/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/theories/s4lp/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/theories/sil/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/theories/tptp/OMakefile
+1 -1	metaprl-branches/omake_0_9_7_pre6/theories/tutorial/OMakefile
+3 -2	metaprl-branches/omake_0_9_7_pre6/util/OMakefile