Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-29 15:15:11 -0800 (Sat, 29 Mar 2003)
Revision: 4346
Log message:

      Merged the lm_libmojave branch back to the trunk.
      
      We have submitted the ICFP paper, so this should be the last in this
      crazy flood of commit we had in the last several days.
      

Changes	Path
+25 -7	metaprl/Makefile
+1 -1	metaprl/clib/readline.c
Properties	metaprl/doc/latex/theories
+7 -0	metaprl/doc/latex/theories/Makefile
Properties	metaprl/doc/latex/theories/experimental/compile
Added	metaprl/doc/latex/theories/experimental/compile/print.ml
Properties	metaprl/doc/latex/theories/experimental/compile/print.ml
Added	metaprl/doc/latex/theories/m-paper.tex
Properties	metaprl/doc/latex/theories/m-paper.tex
+2 -1	metaprl/editor/ml/.gdbinit
+20 -11	metaprl/editor/ml/Makefile
+13 -0	metaprl/filter/boot/conversionals_boot.ml
+5 -0	metaprl/filter/boot/tactic_boot_sig.mlz
+4 -1	metaprl/filter/filter/filter_parse.ml
+15 -0	metaprl/lib/words
+6 -0	metaprl/mk/make_config.sh
+3 -0	metaprl/mk/preface
+32 -16	metaprl/mk/rules
+1 -1	metaprl/mllib/readline.ml
+4 -0	metaprl/refiner/refsig/term_op_sig.ml
+28 -0	metaprl/refiner/term_ds/term_op_ds.ml
+29 -0	metaprl/refiner/term_std/term_op_std.ml
+3 -6	metaprl/theories/czf/czf_itt_set.ml
Properties	metaprl/theories/experimental/compile
Added	metaprl/theories/experimental/compile/.ispell_english
Properties	metaprl/theories/experimental/compile/.ispell_english
+42 -5	metaprl/theories/experimental/compile/Makefile
+11 -3	metaprl/theories/experimental/compile/README
+6 -4	metaprl/theories/experimental/compile/m_arith.ml
+1 -0	metaprl/theories/experimental/compile/m_arith.mli
+103 -56	metaprl/theories/experimental/compile/m_ast.pho
+25 -14	metaprl/theories/experimental/compile/m_closure.ml
+55 -21	metaprl/theories/experimental/compile/m_cps.ml
+3 -4	metaprl/theories/experimental/compile/m_dead.ml
Added	metaprl/theories/experimental/compile/m_doc_closure.ml
Properties	metaprl/theories/experimental/compile/m_doc_closure.ml
Added	metaprl/theories/experimental/compile/m_doc_closure.mli
Properties	metaprl/theories/experimental/compile/m_doc_closure.mli
Added	metaprl/theories/experimental/compile/m_doc_comment.ml
Properties	metaprl/theories/experimental/compile/m_doc_comment.ml
Added	metaprl/theories/experimental/compile/m_doc_comment.mli
Properties	metaprl/theories/experimental/compile/m_doc_comment.mli
Added	metaprl/theories/experimental/compile/m_doc_cps.ml
Properties	metaprl/theories/experimental/compile/m_doc_cps.ml
Added	metaprl/theories/experimental/compile/m_doc_cps.mli
Properties	metaprl/theories/experimental/compile/m_doc_cps.mli
Added	metaprl/theories/experimental/compile/m_doc_intro.ml
Properties	metaprl/theories/experimental/compile/m_doc_intro.ml
Added	metaprl/theories/experimental/compile/m_doc_intro.mli
Properties	metaprl/theories/experimental/compile/m_doc_intro.mli
Added	metaprl/theories/experimental/compile/m_doc_ir.ml
Properties	metaprl/theories/experimental/compile/m_doc_ir.ml
Added	metaprl/theories/experimental/compile/m_doc_ir.mli
Properties	metaprl/theories/experimental/compile/m_doc_ir.mli
Added	metaprl/theories/experimental/compile/m_doc_opt.ml
Properties	metaprl/theories/experimental/compile/m_doc_opt.ml
Added	metaprl/theories/experimental/compile/m_doc_opt.mli
Properties	metaprl/theories/experimental/compile/m_doc_opt.mli
Added	metaprl/theories/experimental/compile/m_doc_parsing.ml
Properties	metaprl/theories/experimental/compile/m_doc_parsing.ml
Added	metaprl/theories/experimental/compile/m_doc_parsing.mli
Properties	metaprl/theories/experimental/compile/m_doc_parsing.mli
Added	metaprl/theories/experimental/compile/m_doc_summary.ml
Properties	metaprl/theories/experimental/compile/m_doc_summary.ml
Added	metaprl/theories/experimental/compile/m_doc_summary.mli
Properties	metaprl/theories/experimental/compile/m_doc_summary.mli
Added	metaprl/theories/experimental/compile/m_doc_x86_asm.ml
Properties	metaprl/theories/experimental/compile/m_doc_x86_asm.ml
Added	metaprl/theories/experimental/compile/m_doc_x86_asm.mli
Properties	metaprl/theories/experimental/compile/m_doc_x86_asm.mli
Added	metaprl/theories/experimental/compile/m_doc_x86_codegen.ml
Properties	metaprl/theories/experimental/compile/m_doc_x86_codegen.ml
Added	metaprl/theories/experimental/compile/m_doc_x86_codegen.mli
Properties	metaprl/theories/experimental/compile/m_doc_x86_codegen.mli
Added	metaprl/theories/experimental/compile/m_doc_x86_opt.ml
Properties	metaprl/theories/experimental/compile/m_doc_x86_opt.ml
Added	metaprl/theories/experimental/compile/m_doc_x86_opt.mli
Properties	metaprl/theories/experimental/compile/m_doc_x86_opt.mli
Added	metaprl/theories/experimental/compile/m_doc_x86_regalloc.ml
Properties	metaprl/theories/experimental/compile/m_doc_x86_regalloc.ml
Added	metaprl/theories/experimental/compile/m_doc_x86_regalloc.mli
Properties	metaprl/theories/experimental/compile/m_doc_x86_regalloc.mli
+29 -10	metaprl/theories/experimental/compile/m_inline.ml
+69 -31	metaprl/theories/experimental/compile/m_ir.ml
+15 -5	metaprl/theories/experimental/compile/m_ir.mli
+6 -3	metaprl/theories/experimental/compile/m_prog.ml
Added	metaprl/theories/experimental/compile/m_ra_live.ml
Properties	metaprl/theories/experimental/compile/m_ra_live.ml
Added	metaprl/theories/experimental/compile/m_ra_live.mli
Properties	metaprl/theories/experimental/compile/m_ra_live.mli
Added	metaprl/theories/experimental/compile/m_ra_main.ml
Properties	metaprl/theories/experimental/compile/m_ra_main.ml
Added	metaprl/theories/experimental/compile/m_ra_main.mli
Properties	metaprl/theories/experimental/compile/m_ra_main.mli
Added	metaprl/theories/experimental/compile/m_ra_state.ml
Properties	metaprl/theories/experimental/compile/m_ra_state.ml
Added	metaprl/theories/experimental/compile/m_ra_state.mli
Properties	metaprl/theories/experimental/compile/m_ra_state.mli
Added	metaprl/theories/experimental/compile/m_ra_type.ml
Properties	metaprl/theories/experimental/compile/m_ra_type.ml
Added	metaprl/theories/experimental/compile/m_ra_type.mli
Properties	metaprl/theories/experimental/compile/m_ra_type.mli
Added	metaprl/theories/experimental/compile/m_ra_type.mlz
Properties	metaprl/theories/experimental/compile/m_ra_type.mlz
Added	metaprl/theories/experimental/compile/m_reserve.ml
Properties	metaprl/theories/experimental/compile/m_reserve.ml
Added	metaprl/theories/experimental/compile/m_reserve.mli
Properties	metaprl/theories/experimental/compile/m_reserve.mli
+52 -3	metaprl/theories/experimental/compile/m_standardize.ml
+3 -0	metaprl/theories/experimental/compile/m_standardize.mli
+53 -5	metaprl/theories/experimental/compile/m_test.ml
+25 -9	metaprl/theories/experimental/compile/m_theory.ml
+5 -2	metaprl/theories/experimental/compile/m_theory.mli
+1 -3	metaprl/theories/experimental/compile/m_util.ml
Added	metaprl/theories/experimental/compile/m_x86_asm.ml
Properties	metaprl/theories/experimental/compile/m_x86_asm.ml
Added	metaprl/theories/experimental/compile/m_x86_asm.mli
Properties	metaprl/theories/experimental/compile/m_x86_asm.mli
Added	metaprl/theories/experimental/compile/m_x86_backend.ml
Properties	metaprl/theories/experimental/compile/m_x86_backend.ml
Added	metaprl/theories/experimental/compile/m_x86_backend.mli
Properties	metaprl/theories/experimental/compile/m_x86_backend.mli
Added	metaprl/theories/experimental/compile/m_x86_coalesce.ml
Properties	metaprl/theories/experimental/compile/m_x86_coalesce.ml
Added	metaprl/theories/experimental/compile/m_x86_coalesce.mli
Properties	metaprl/theories/experimental/compile/m_x86_coalesce.mli
+289 -185	metaprl/theories/experimental/compile/m_x86_codegen.ml
+4 -121	metaprl/theories/experimental/compile/m_x86_frame.ml
+1 -19	metaprl/theories/experimental/compile/m_x86_frame.mli
Added	metaprl/theories/experimental/compile/m_x86_inst_type.mlz
Properties	metaprl/theories/experimental/compile/m_x86_inst_type.mlz
Added	metaprl/theories/experimental/compile/m_x86_opt.ml
Properties	metaprl/theories/experimental/compile/m_x86_opt.ml
Added	metaprl/theories/experimental/compile/m_x86_opt.mli
Properties	metaprl/theories/experimental/compile/m_x86_opt.mli
Added	metaprl/theories/experimental/compile/m_x86_regalloc.ml
Properties	metaprl/theories/experimental/compile/m_x86_regalloc.ml
Added	metaprl/theories/experimental/compile/m_x86_regalloc.mli
Properties	metaprl/theories/experimental/compile/m_x86_regalloc.mli
+377 -98	metaprl/theories/experimental/compile/m_x86_spill.ml
+9 -5	metaprl/theories/experimental/compile/m_x86_spill.mli
Added	metaprl/theories/experimental/compile/m_x86_term.ml
Properties	metaprl/theories/experimental/compile/m_x86_term.ml
Added	metaprl/theories/experimental/compile/m_x86_term.mli
Properties	metaprl/theories/experimental/compile/m_x86_term.mli
Deleted	metaprl/theories/experimental/compile/m_x86_util.ml
Deleted	metaprl/theories/experimental/compile/m_x86_util.mli
Properties	metaprl/theories/experimental/compile/runtime
Added	metaprl/theories/experimental/compile/runtime/Makefile
Properties	metaprl/theories/experimental/compile/runtime/Makefile
Added	metaprl/theories/experimental/compile/runtime/x86_glue.s
Properties	metaprl/theories/experimental/compile/runtime/x86_glue.s
Added	metaprl/theories/experimental/compile/runtime/x86_runtime.c
Properties	metaprl/theories/experimental/compile/runtime/x86_runtime.c
Added	metaprl/theories/experimental/compile/semantics.txt
Properties	metaprl/theories/experimental/compile/semantics.txt
Deleted	metaprl/theories/experimental/compile/x86_asm.ml
Deleted	metaprl/theories/experimental/compile/x86_asm.mli
Deleted	metaprl/theories/experimental/compile/x86_term.ml
Deleted	metaprl/theories/experimental/compile/x86_term.mli
+1 -1	metaprl/theories/fir/mfir_record.ml
+1 -1	metaprl/theories/fir/mfir_sequent.ml
+1 -1	metaprl/theories/fir/mfir_theory.mlz
+2 -2	metaprl/theories/fir/mfir_tr_base.ml
+1 -1	metaprl/theories/fir/mfir_tr_exp.ml
+1 -1	metaprl/theories/fir/mfir_tr_store.ml
+8 -10	metaprl/theories/itt/itt_list2.ml
+3 -4	metaprl/theories/itt/itt_relation_str.ml
+3 -2	metaprl/theories/itt/itt_set_str.ml
+0 -6	metaprl/theories/itt/itt_subset.ml
+2 -3	metaprl/theories/ocaml_doc/ocaml_doc_class1.ml
+2 -3	metaprl/theories/ocaml_doc/ocaml_doc_exn1.ml
+13 -13	metaprl/theories/ocaml_doc/ocaml_doc_expr1.ml
+8 -8	metaprl/theories/ocaml_doc/ocaml_doc_expr2.ml
+2 -2	metaprl/theories/ocaml_doc/ocaml_doc_expr3.ml
+2 -3	metaprl/theories/ocaml_doc/ocaml_doc_expr4.ml
+8 -8	metaprl/theories/ocaml_doc/ocaml_doc_intro.ml
+3 -4	metaprl/theories/ocaml_doc/ocaml_doc_io1.ml
+9 -10	metaprl/theories/ocaml_doc/ocaml_doc_mod1.ml
+3 -4	metaprl/theories/ocaml_doc/ocaml_doc_mod2.ml
+4 -4	metaprl/theories/ocaml_doc/ocaml_doc_patt1.ml
+13 -13	metaprl/theories/ocaml_doc/ocaml_doc_var1.ml
+215 -11	metaprl/theories/tactic/comment.ml
+39 -0	metaprl/theories/tactic/comment.mli
+7 -0	metaprl/theories/tactic/nuprl_font.ml
+1 -0	metaprl/theories/tactic/nuprl_font.mli
Added	texinputs/acm_proc_article-sp.cls
Properties	texinputs/acm_proc_article-sp.cls
+29 -1	texinputs/metaprl.tex
+94 -5	texinputs/rc.bib
Added	texinputs/sig-alternate.cls
Properties	texinputs/sig-alternate.cls