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 |