Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-05-03 10:26:35 -0700 (Sat, 03 May 2003)
Revision: 4548
Log message:

      Updated omake system to match Aleksey's changes.
      

Changes	Path
+53 -23	metaprl/OMakefile
+15 -15	metaprl/debug/OMakefile
+9 -26	metaprl/editor/ml/OMakefile
+1 -1	metaprl/ensemble/OMakefile
+1 -1	metaprl/filter/OMakefile
+4 -2	metaprl/filter/base/OMakefile
Added	metaprl/filter/base/infix.ml
Properties	metaprl/filter/base/infix.ml
+2 -2	metaprl/library/OMakefile
+1 -1	metaprl/mk/config.default
+1 -1	metaprl/refiner/OMakefile
+1 -1	metaprl/refiner/refiner/OMakefile
Added	metaprl/support/display/OMakefile
Properties	metaprl/support/display/OMakefile
Added	metaprl/support/shell/OMakefile
Properties	metaprl/support/shell/OMakefile
Added	metaprl/support/tactics/OMakefile
Properties	metaprl/support/tactics/OMakefile
+2 -5	metaprl/theories/base/OMakefile
+3 -5	metaprl/theories/czf/OMakefile
+6 -0	metaprl/theories/fir/OMakefile
+3 -5	metaprl/theories/fol/OMakefile
+3 -4	metaprl/theories/itt/OMakefile
+3 -4	metaprl/theories/ocaml_doc/OMakefile
+2 -3	metaprl/theories/ocaml_sos/OMakefile
+5 -1	metaprl/theories/phobos/OMakefile
+5 -1	metaprl/theories/sil/OMakefile
+9 -1	metaprl/theories/tptp/OMakefile
+9 -6	metaprl/util/OMakefile