Changes by: ( at unknown.email)
Date: 2003-03-29 14:23:24 -0800 (Sat, 29 Mar 2003)
Revision: 4345
Log message:

      This commit was manufactured by cvs2svn to create tag
      'M_PAPER_ICFP_2003_SUBMISSION'.

Changes  Path
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/Makefile
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/Makefile
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/clib/readline.c
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/clib/readline.c
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/doc/latex/theories/Makefile
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/doc/latex/theories/Makefile
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/doc/latex/theories/experimental
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/doc/latex/theories/m-paper.tex
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/editor/ml/.gdbinit
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/editor/ml/.gdbinit
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/editor/ml/Makefile
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/editor/ml/Makefile
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/editor/ml/tests/prop-pigeon.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/editor/ml/tests/prop-pigeon.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/filter/boot/conversionals_boot.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/filter/boot/conversionals_boot.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/filter/boot/tactic_boot_sig.mlz
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/filter/boot/tactic_boot_sig.mlz
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/filter/filter/filter_parse.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/filter/filter/filter_parse.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/lib/words
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/lib/words
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/mk/rules
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/mk/rules
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/mllib/readline.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/mllib/readline.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/refiner/refsig/term_op_sig.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/refiner/refsig/term_op_sig.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/refiner/term_ds/term_op_ds.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/refiner/term_ds/term_op_ds.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/refiner/term_std/term_op_std.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/refiner/term_std/term_op_std.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/czf/czf_itt_set.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/czf/czf_itt_set.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_ast.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_ast.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_ast.mli
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_ast.mli
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_closure.mli
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_closure.mli
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_cps.mli
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_cps.mli
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_dead.mli
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_dead.mli
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_inline.mli
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_inline.mli
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_ir.pho
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_ir.pho
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_post_parsing.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_post_parsing.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_post_parsing.mli
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_post_parsing.mli
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_prog.mli
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_prog.mli
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_test.mli
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_test.mli
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_util.mli
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_util.mli
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_x86_codegen.mli
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/experimental/compile/m_x86_codegen.mli
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/fir/mfir_record.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/fir/mfir_record.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/fir/mfir_sequent.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/fir/mfir_sequent.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/fir/mfir_theory.mlz
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/fir/mfir_theory.mlz
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/fir/mfir_tr_base.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/fir/mfir_tr_base.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/fir/mfir_tr_exp.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/fir/mfir_tr_exp.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/fir/mfir_tr_store.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/fir/mfir_tr_store.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/itt/itt_list2.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/itt/itt_list2.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/itt/itt_relation_str.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/itt/itt_relation_str.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/itt/itt_set_str.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/itt/itt_set_str.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/itt/itt_subset.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/itt/itt_subset.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/itt/itt_test.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/itt/itt_test.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/itt/jprover_tests.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/itt/jprover_tests.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_class1.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_class1.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_exn1.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_exn1.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_expr1.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_expr1.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_expr2.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_expr2.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_expr3.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_expr3.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_expr4.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_expr4.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_intro.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_intro.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_io1.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_io1.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_mod1.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_mod1.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_mod2.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_mod2.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_patt1.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_patt1.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_var1.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/ocaml_doc/ocaml_doc_var1.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/tactic/comment.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/tactic/comment.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/tactic/comment.mli
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/tactic/comment.mli
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/tactic/nuprl_font.ml
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/tactic/nuprl_font.ml
Deleted metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/tactic/nuprl_font.mli
Copied metaprl-tags/M_PAPER_ICFP_2003_SUBMISSION/theories/tactic/nuprl_font.mli
Copied texinputs-tags/M_PAPER_ICFP_2003_SUBMISSION
Deleted texinputs-tags/M_PAPER_ICFP_2003_SUBMISSION/myxspace.sty
Copied texinputs-tags/M_PAPER_ICFP_2003_SUBMISSION/myxspace.sty