Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-06-04 12:42:26 -0700 (Sat, 04 Jun 2005)
Revision: 1093
Log message:

      Implemented --flush-includes.
      

Changes	Path
+0 -4	omake/Files
Deleted	omake/omake_db.ml
Deleted	omake/omake_db.mli
+26 -6	omake/src/env/omake_env.ml
+17 -2	omake/src/env/omake_env.mli
+0 -8	omake/src/env/omake_ir_ast.ml
+0 -1	omake/src/env/omake_ir_ast.mli
+8 -9	omake/src/eval/omake_eval.ml