Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-23 19:18:02 -0700 (Fri, 23 Apr 2004)
Revision: 5708
Log message:

      Remove aggressive use of Lm_rformat.  To use the normal format library,
      use Lm_printf.  For output that should be diverted to the output device,
      use Lm_rprintf.
      

Changes  Path
+1 -1 metaprl/Makefile
+2 -19 metaprl/OMakefile
+1 -2 metaprl/editor/ml/shell_mp.ml
+0 -1 metaprl/filter/base/filter_cache.ml
+1 -1 metaprl/filter/base/filter_exn.ml
+0 -1 metaprl/filter/base/filter_spell.ml
+0 -1 metaprl/filter/base/filter_summary.ml
+0 -1 metaprl/filter/base/filter_summary_io.ml
+0 -0 metaprl/filter/base/filter_util.ml
+1 -1 metaprl/filter/base/filter_util.mli
+2 -2 metaprl/filter/filter/filter_main.ml
+0 -1 metaprl/filter/filter/filter_parse.ml
+0 -1 metaprl/filter/filter/prlcomp.ml
+0 -1 metaprl/filter/filter/term_grammar.ml
+1 -1 metaprl/filter/phobos/phobos_exn.ml
+1 -1 metaprl/filter/phobos/phobos_exn.mli
+0 -1 metaprl/library/link.ml
+0 -1 metaprl/library/mathBus.ml
+0 -1 metaprl/library/mbterm.ml
+0 -1 metaprl/mk/defaults
+0 -6 metaprl/mk/make_config.sh
+0 -1 metaprl/mllib/debug_string_sets.ml
+1 -2 metaprl/mllib/file_type_base.ml
+0 -1 metaprl/refiner/refiner/refine.ml
+0 -1 metaprl/refiner/reflib/arith.ml
+2 -1 metaprl/refiner/reflib/ascii_io.ml
+0 -1 metaprl/refiner/reflib/dform.ml
+1 -1 metaprl/refiner/reflib/dform.mli
+0 -1 metaprl/refiner/reflib/jall.ml
+0 -1 metaprl/refiner/reflib/refine_exn.ml
+0 -1 metaprl/refiner/reflib/simple_print.ml
+1 -2 metaprl/refiner/reflib/simple_print_sig.ml
+0 -1 metaprl/refiner/reflib/supinf.ml
+0 -1 metaprl/refiner/reflib/term_stable.ml
+1 -1 metaprl/refiner/reflib/term_stable.mli
+1 -1 metaprl/refiner/refsig/term_base_sig.ml
+1 -1 metaprl/refiner/refsig/term_shape_sig.ml
+1 -1 metaprl/refiner/refsig/thread_refiner_sig.ml
+0 -1 metaprl/refiner/rewrite/rewrite.ml
+0 -1 metaprl/refiner/rewrite/rewrite_build_contractum.ml
+0 -1 metaprl/refiner/rewrite/rewrite_debug.ml
+1 -1 metaprl/refiner/rewrite/rewrite_debug_sig.ml
+0 -1 metaprl/refiner/rewrite/rewrite_match_redex.ml
+0 -1 metaprl/refiner/term_ds/term_base_ds.ml
+0 -0 metaprl/refiner/term_ds/term_base_ds.mli
+1 -1 metaprl/refiner/term_ds/term_ds_sig.ml
+0 -1 metaprl/refiner/term_ds/term_subst_ds.ml
+0 -1 metaprl/refiner/term_gen/term_shape_gen.ml
+0 -1 metaprl/refiner/term_std/term_base_std.ml
+1 -1 metaprl/refiner/term_std/term_std_sig.ml
+0 -1 metaprl/refiner/term_std/term_subst_std.ml
+3 -2 metaprl/support/shell/proof_edit.ml
+0 -1 metaprl/support/shell/shell.ml
+0 -1 metaprl/support/shell/shell_state.ml
+1 -1 metaprl/support/shell/shell_state.mli
+0 -1 metaprl/tactics/proof/proof_boot.ml
+0 -1 metaprl/tactics/proof/tactic_boot.ml
+0 -1 metaprl/theories/experimental/compile/m_ra_live.ml
+0 -1 metaprl/theories/experimental/compile/m_x86_backend.ml
+2 -1 metaprl/theories/experimental/compile/m_x86_regalloc.ml
+0 -1 metaprl/theories/itt/itt_int_arith.ml
+0 -1 metaprl/theories/itt/itt_supinf.ml
+0 -1 metaprl/theories/tptp/tptp_lex.mll
+0 -1 metaprl/theories/tptp/tptp_prove.ml