Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-24 09:43:51 -0700 (Sat, 24 Apr 2004)
Revision: 354
Log message:

      This should remove the final vestige of Lm_format in the omake
      part of libmojave.
      

Changes  Path
+9 -8 libmojave/stdlib/lm_map_sig.mlz
+1 -1 libmojave/stdlib/lm_printf.ml
+1 -1 libmojave/stdlib/lm_set.ml
+2 -2 libmojave/stdlib/lm_set_sig.mlz
+15 -21 libmojave/stdlib/lm_splay_table.ml
+2 -2 libmojave/stdlib/lm_table_util.ml
+1 -1 libmojave/util/Files
+3 -2 libmojave/util/lm_loop.ml
+1 -13 libmojave/util/lm_symbol.ml
+0 -6 libmojave/util/lm_symbol.mli
Added libmojave/util/lm_symbol_format.ml
Properties libmojave/util/lm_symbol_format.ml
Added libmojave/util/lm_symbol_format.mli
Properties libmojave/util/lm_symbol_format.mli