Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2007-03-22 17:29:37 -0700 (Thu, 22 Mar 2007)
Revision: 10271
Log message:

      Remove all Node.t from the IR, fixing the long-standing bug
     where absolute names are saved in the .omc file.
     
     See DEPENDENCIES for details.

Changes  Path
+26 -0 omake-jumbo-branches/DEPENDENCIES
Copied omake-jumbo-branches/file (from rev 10232, omake-jumbo-branches/var3)
Deleted omake-jumbo-branches/file/0.9.8.x/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/OMakefile (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/OMakefile)
+172 -0 omake-jumbo-branches/file/0.9.8.x/OMakefile (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/OMakeroot
Copied omake-jumbo-branches/file/0.9.8.x/OMakeroot (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/OMakeroot)
+35 -0 omake-jumbo-branches/file/0.9.8.x/OMakeroot (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/OMakeroot)
Deleted omake-jumbo-branches/file/0.9.8.x/doc/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/doc/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/doc/OMakefile)
+205 -0 omake-jumbo-branches/file/0.9.8.x/doc/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/doc/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/lib/Pervasives.om
Copied omake-jumbo-branches/file/0.9.8.x/lib/Pervasives.om (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/lib/Pervasives.om)
+1253 -0 omake-jumbo-branches/file/0.9.8.x/lib/Pervasives.om (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/lib/Pervasives.om)
Deleted omake-jumbo-branches/file/0.9.8.x/lib/boot/Default
Copied omake-jumbo-branches/file/0.9.8.x/lib/boot/Default (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/lib/boot/Default)
+154 -0 omake-jumbo-branches/file/0.9.8.x/lib/boot/Default (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/lib/boot/Default)
Deleted omake-jumbo-branches/file/0.9.8.x/lib/boot/License
Copied omake-jumbo-branches/file/0.9.8.x/lib/boot/License (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/lib/boot/License)
+16 -0 omake-jumbo-branches/file/0.9.8.x/lib/boot/License (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/lib/boot/License)
Deleted omake-jumbo-branches/file/0.9.8.x/lib/build/C.om
Copied omake-jumbo-branches/file/0.9.8.x/lib/build/C.om (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/lib/build/C.om)
+558 -0 omake-jumbo-branches/file/0.9.8.x/lib/build/C.om (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/lib/build/C.om)
Deleted omake-jumbo-branches/file/0.9.8.x/lib/build/Common.om
Copied omake-jumbo-branches/file/0.9.8.x/lib/build/Common.om (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/lib/build/Common.om)
+144 -0 omake-jumbo-branches/file/0.9.8.x/lib/build/Common.om (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/lib/build/Common.om)
Deleted omake-jumbo-branches/file/0.9.8.x/lib/build/LaTeX.om
Copied omake-jumbo-branches/file/0.9.8.x/lib/build/LaTeX.om (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/lib/build/LaTeX.om)
+393 -0 omake-jumbo-branches/file/0.9.8.x/lib/build/LaTeX.om (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/lib/build/LaTeX.om)
Deleted omake-jumbo-branches/file/0.9.8.x/lib/build/OCaml.om
Copied omake-jumbo-branches/file/0.9.8.x/lib/build/OCaml.om (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/lib/build/OCaml.om)
+1002 -0 omake-jumbo-branches/file/0.9.8.x/lib/build/OCaml.om (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/lib/build/OCaml.om)
Deleted omake-jumbo-branches/file/0.9.8.x/lib/configure/Configure.om
Copied omake-jumbo-branches/file/0.9.8.x/lib/configure/Configure.om (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/lib/configure/Configure.om)
+314 -0 omake-jumbo-branches/file/0.9.8.x/lib/configure/Configure.om (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/lib/configure/Configure.om)
Deleted omake-jumbo-branches/file/0.9.8.x/lib/configure/snprintf.om
Copied omake-jumbo-branches/file/0.9.8.x/lib/configure/snprintf.om (from rev 10257, omake-jumbo-branches/var3/0.9.8.x/lib/configure/snprintf.om)
+17 -0 omake-jumbo-branches/file/0.9.8.x/lib/configure/snprintf.om (from rev 10257, omake-jumbo-branches/var3/0.9.8.x/lib/configure/snprintf.om)
Deleted omake-jumbo-branches/file/0.9.8.x/mk/defaults
Copied omake-jumbo-branches/file/0.9.8.x/mk/defaults (from rev 10264, omake-jumbo-branches/var3/0.9.8.x/mk/defaults)
+111 -0 omake-jumbo-branches/file/0.9.8.x/mk/defaults (from rev 10264, omake-jumbo-branches/var3/0.9.8.x/mk/defaults)
Deleted omake-jumbo-branches/file/0.9.8.x/mk/make_config
Copied omake-jumbo-branches/file/0.9.8.x/mk/make_config (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/mk/make_config)
+120 -0 omake-jumbo-branches/file/0.9.8.x/mk/make_config (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/mk/make_config)
Deleted omake-jumbo-branches/file/0.9.8.x/mk/make_gen
Copied omake-jumbo-branches/file/0.9.8.x/mk/make_gen (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/mk/make_gen)
+316 -0 omake-jumbo-branches/file/0.9.8.x/mk/make_gen (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/mk/make_gen)
Deleted omake-jumbo-branches/file/0.9.8.x/src/Makefile
Copied omake-jumbo-branches/file/0.9.8.x/src/Makefile (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/Makefile)
+645 -0 omake-jumbo-branches/file/0.9.8.x/src/Makefile (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/Makefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/Makefile.nt
Copied omake-jumbo-branches/file/0.9.8.x/src/Makefile.nt (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/Makefile.nt)
+644 -0 omake-jumbo-branches/file/0.9.8.x/src/Makefile.nt (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/Makefile.nt)
Deleted omake-jumbo-branches/file/0.9.8.x/src/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/OMakefile)
+45 -0 omake-jumbo-branches/file/0.9.8.x/src/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/ast/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/ast/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/ast/OMakefile)
+17 -0 omake-jumbo-branches/file/0.9.8.x/src/ast/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/ast/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/build/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/build/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/build/OMakefile)
+27 -0 omake-jumbo-branches/file/0.9.8.x/src/build/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/build/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/build/omake_build.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/build/omake_build.ml (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/src/build/omake_build.ml)
+2771 -0 omake-jumbo-branches/file/0.9.8.x/src/build/omake_build.ml (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/src/build/omake_build.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/build/omake_builtin.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/build/omake_builtin.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/build/omake_builtin.ml)
+217 -0 omake-jumbo-branches/file/0.9.8.x/src/build/omake_builtin.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/build/omake_builtin.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/build/omake_builtin_util.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/build/omake_builtin_util.ml (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/build/omake_builtin_util.ml)
+202 -0 omake-jumbo-branches/file/0.9.8.x/src/build/omake_builtin_util.ml (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/build/omake_builtin_util.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/build/omake_rule.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/build/omake_rule.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/build/omake_rule.ml)
+1345 -0 omake-jumbo-branches/file/0.9.8.x/src/build/omake_rule.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/build/omake_rule.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/builtin/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/builtin/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/builtin/OMakefile)
+32 -0 omake-jumbo-branches/file/0.9.8.x/src/builtin/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/builtin/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/builtin/omake_builtin_base.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/builtin/omake_builtin_base.ml (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/builtin/omake_builtin_base.ml)
+2686 -0 omake-jumbo-branches/file/0.9.8.x/src/builtin/omake_builtin_base.ml (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/builtin/omake_builtin_base.ml)
+9 -9 omake-jumbo-branches/file/0.9.8.x/src/builtin/omake_builtin_file.ml
Deleted omake-jumbo-branches/file/0.9.8.x/src/builtin/omake_builtin_io_fun.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/builtin/omake_builtin_io_fun.ml (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/builtin/omake_builtin_io_fun.ml)
+1939 -0 omake-jumbo-branches/file/0.9.8.x/src/builtin/omake_builtin_io_fun.ml (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/builtin/omake_builtin_io_fun.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/builtin/omake_builtin_object.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/builtin/omake_builtin_object.ml (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/src/builtin/omake_builtin_object.ml)
+669 -0 omake-jumbo-branches/file/0.9.8.x/src/builtin/omake_builtin_object.ml (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/src/builtin/omake_builtin_object.ml)
Copied omake-jumbo-branches/file/0.9.8.x/src/clib (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/src/clib)
Deleted omake-jumbo-branches/file/0.9.8.x/src/clib/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/clib/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/clib/OMakefile)
+55 -0 omake-jumbo-branches/file/0.9.8.x/src/clib/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/clib/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/env/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/env/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/env/OMakefile)
+59 -0 omake-jumbo-branches/file/0.9.8.x/src/env/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/env/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/env/omake_ast_lex.mll
Copied omake-jumbo-branches/file/0.9.8.x/src/env/omake_ast_lex.mll (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_ast_lex.mll)
+1217 -0 omake-jumbo-branches/file/0.9.8.x/src/env/omake_ast_lex.mll (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_ast_lex.mll)
Deleted omake-jumbo-branches/file/0.9.8.x/src/env/omake_ast_parse.input
Copied omake-jumbo-branches/file/0.9.8.x/src/env/omake_ast_parse.input (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_ast_parse.input)
+1049 -0 omake-jumbo-branches/file/0.9.8.x/src/env/omake_ast_parse.input (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_ast_parse.input)
Deleted omake-jumbo-branches/file/0.9.8.x/src/env/omake_command_digest.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/env/omake_command_digest.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_command_digest.ml)
+1805 -0 omake-jumbo-branches/file/0.9.8.x/src/env/omake_command_digest.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_command_digest.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/env/omake_env.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/env/omake_env.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_env.ml)
+4333 -0 omake-jumbo-branches/file/0.9.8.x/src/env/omake_env.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_env.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/env/omake_env.mli
Copied omake-jumbo-branches/file/0.9.8.x/src/env/omake_env.mli (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_env.mli)
+728 -0 omake-jumbo-branches/file/0.9.8.x/src/env/omake_env.mli (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_env.mli)
Deleted omake-jumbo-branches/file/0.9.8.x/src/env/omake_gen_parse.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/env/omake_gen_parse.ml (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_gen_parse.ml)
+212 -0 omake-jumbo-branches/file/0.9.8.x/src/env/omake_gen_parse.ml (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_gen_parse.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/env/omake_ir_ast.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/env/omake_ir_ast.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_ir_ast.ml)
+2101 -0 omake-jumbo-branches/file/0.9.8.x/src/env/omake_ir_ast.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_ir_ast.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/env/omake_ir_ast.mli
Copied omake-jumbo-branches/file/0.9.8.x/src/env/omake_ir_ast.mli (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_ir_ast.mli)
+71 -0 omake-jumbo-branches/file/0.9.8.x/src/env/omake_ir_ast.mli (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/env/omake_ir_ast.mli)
Deleted omake-jumbo-branches/file/0.9.8.x/src/eval/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/eval/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/eval/OMakefile)
+17 -0 omake-jumbo-branches/file/0.9.8.x/src/eval/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/eval/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/eval/omake_eval.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/eval/omake_eval.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/eval/omake_eval.ml)
+1990 -0 omake-jumbo-branches/file/0.9.8.x/src/eval/omake_eval.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/eval/omake_eval.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/eval/omake_eval.mli
Copied omake-jumbo-branches/file/0.9.8.x/src/eval/omake_eval.mli (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/eval/omake_eval.mli)
+144 -0 omake-jumbo-branches/file/0.9.8.x/src/eval/omake_eval.mli (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/eval/omake_eval.mli)
Deleted omake-jumbo-branches/file/0.9.8.x/src/eval/omake_value.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/eval/omake_value.ml (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/src/eval/omake_value.ml)
+565 -0 omake-jumbo-branches/file/0.9.8.x/src/eval/omake_value.ml (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/src/eval/omake_value.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/exec/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/exec/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/exec/OMakefile)
+20 -0 omake-jumbo-branches/file/0.9.8.x/src/exec/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/exec/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/ir/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/ir/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/ir/OMakefile)
+33 -0 omake-jumbo-branches/file/0.9.8.x/src/ir/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/ir/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/ir/omake_cache.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/ir/omake_cache.ml (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_cache.ml)
+1218 -0 omake-jumbo-branches/file/0.9.8.x/src/ir/omake_cache.ml (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_cache.ml)
+3 -2 omake-jumbo-branches/file/0.9.8.x/src/ir/omake_cache.mli
Deleted omake-jumbo-branches/file/0.9.8.x/src/ir/omake_ir.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/ir/omake_ir.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_ir.ml)
+386 -0 omake-jumbo-branches/file/0.9.8.x/src/ir/omake_ir.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_ir.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/ir/omake_ir_print.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/ir/omake_ir_print.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_ir_print.ml)
+504 -0 omake-jumbo-branches/file/0.9.8.x/src/ir/omake_ir_print.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_ir_print.ml)
Added omake-jumbo-branches/file/0.9.8.x/src/ir/omake_name.ml
Added omake-jumbo-branches/file/0.9.8.x/src/ir/omake_name.mli
+1 -1 omake-jumbo-branches/file/0.9.8.x/src/ir/omake_node.ml
+0 -2 omake-jumbo-branches/file/0.9.8.x/src/ir/omake_state.ml
+0 -2 omake-jumbo-branches/file/0.9.8.x/src/ir/omake_state.mli
Deleted omake-jumbo-branches/file/0.9.8.x/src/ir/omake_symbol.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/ir/omake_symbol.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_symbol.ml)
+229 -0 omake-jumbo-branches/file/0.9.8.x/src/ir/omake_symbol.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_symbol.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/ir/omake_var.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/ir/omake_var.ml (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_var.ml)
+160 -0 omake-jumbo-branches/file/0.9.8.x/src/ir/omake_var.ml (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_var.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/ir/omake_virtual_id.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/ir/omake_virtual_id.ml (from rev 10257, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_virtual_id.ml)
+278 -0 omake-jumbo-branches/file/0.9.8.x/src/ir/omake_virtual_id.ml (from rev 10257, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_virtual_id.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/ir/omake_virtual_id.mli
Copied omake-jumbo-branches/file/0.9.8.x/src/ir/omake_virtual_id.mli (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_virtual_id.mli)
+155 -0 omake-jumbo-branches/file/0.9.8.x/src/ir/omake_virtual_id.mli (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/ir/omake_virtual_id.mli)
Copied omake-jumbo-branches/file/0.9.8.x/src/libmojave (from rev 10233, omake-jumbo-branches/var3/0.9.8.x/src/libmojave)
Properties omake-jumbo-branches/file/0.9.8.x/src/libmojave
Deleted omake-jumbo-branches/file/0.9.8.x/src/libmojave/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/libmojave/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/libmojave/OMakefile)
+151 -0 omake-jumbo-branches/file/0.9.8.x/src/libmojave/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/libmojave/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/magic/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/magic/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/magic/OMakefile)
+77 -0 omake-jumbo-branches/file/0.9.8.x/src/magic/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/magic/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/main/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/main/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/main/OMakefile)
+64 -0 omake-jumbo-branches/file/0.9.8.x/src/main/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/main/OMakefile)
Deleted omake-jumbo-branches/file/0.9.8.x/src/main/omake_main.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/main/omake_main.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/main/omake_main.ml)
+340 -0 omake-jumbo-branches/file/0.9.8.x/src/main/omake_main.ml (from rev 10265, omake-jumbo-branches/var3/0.9.8.x/src/main/omake_main.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/main/omake_shell.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/main/omake_shell.ml (from rev 10257, omake-jumbo-branches/var3/0.9.8.x/src/main/omake_shell.ml)
+399 -0 omake-jumbo-branches/file/0.9.8.x/src/main/omake_shell.ml (from rev 10257, omake-jumbo-branches/var3/0.9.8.x/src/main/omake_shell.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/shell/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/shell/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/shell/OMakefile)
+41 -0 omake-jumbo-branches/file/0.9.8.x/src/shell/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/shell/OMakefile)
+1 -1 omake-jumbo-branches/file/0.9.8.x/src/shell/omake_shell_completion.ml
Deleted omake-jumbo-branches/file/0.9.8.x/src/shell/omake_shell_job.ml
Copied omake-jumbo-branches/file/0.9.8.x/src/shell/omake_shell_job.ml (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/shell/omake_shell_job.ml)
+1093 -0 omake-jumbo-branches/file/0.9.8.x/src/shell/omake_shell_job.ml (from rev 10244, omake-jumbo-branches/var3/0.9.8.x/src/shell/omake_shell_job.ml)
Deleted omake-jumbo-branches/file/0.9.8.x/src/util/OMakefile
Copied omake-jumbo-branches/file/0.9.8.x/src/util/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/util/OMakefile)
+34 -0 omake-jumbo-branches/file/0.9.8.x/src/util/OMakefile (from rev 10261, omake-jumbo-branches/var3/0.9.8.x/src/util/OMakefile)
Deleted omake-jumbo-branches/file/0.9.9.x/src/env/omake_ir_ast.ml
Copied omake-jumbo-branches/file/0.9.9.x/src/env/omake_ir_ast.ml (from rev 10261, omake-jumbo-branches/var3/0.9.9.x/src/env/omake_ir_ast.ml)
+2777 -0 omake-jumbo-branches/file/0.9.9.x/src/env/omake_ir_ast.ml (from rev 10261, omake-jumbo-branches/var3/0.9.9.x/src/env/omake_ir_ast.ml)
+2 -4 omake-jumbo-branches/var3/0.9.8.x/src/env/omake_env.ml
+1 -1 omake-jumbo-branches/var3/0.9.9.x/src/ir/omake_ir.ml