Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-23 19:17:59 -0700 (Fri, 23 Apr 2004)
Revision: 350
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 libmojave/stdlib/Files
+0 -10 libmojave/stdlib/OMakefile
Deleted libmojave/stdlib/lm_pervasives.mli
Deleted libmojave/stdlib/lm_pervasives.mlp
+70 -8 libmojave/stdlib/lm_printf.ml
+46 -3 libmojave/stdlib/lm_printf.mli
Added libmojave/stdlib/lm_rprintf.ml
Properties libmojave/stdlib/lm_rprintf.ml
Added libmojave/stdlib/lm_rprintf.mli
Properties libmojave/stdlib/lm_rprintf.mli
+0 -1 libmojave/stdlib/lm_splay_linear_set.ml
+0 -1 libmojave/stdlib/lm_splay_table.ml
+0 -1 libmojave/unix/lm_mmap_pipe.ml
+0 -1 libmojave/util/lm_attribute.ml
+0 -1 libmojave/util/lm_command_util.ml
+0 -1 libmojave/util/lm_fmarshal.ml
+0 -1 libmojave/util/lm_print_util.ml
+3 -4 libmojave/util/lm_symbol.ml
+1 -1 libmojave/util/lm_symbol.mli