Commit log for Mojave standard library

Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-01-02 14:05:07 -0800 (Tue, 02 Jan 2007)
Revision: 9892
Log message:

      Lm_channel.select: a string out channel should always be considered ready to
      be written to.

Changes	Path
+1 -1	libmojave/util/lm_channel.ml

Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-01-12 10:29:29 -0800 (Fri, 12 Jan 2007)
Revision: 9941
Log message:

Define CLEAN if it was not inherited.

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2007-01-25 10:31:18 -0800 (Thu, 25 Jan 2007)
Revision: 9977
Log message:

Removed unused parameters, so that -w Z will work.

Changes	Path
+8 -8	libmojave/stdlib/lm_format.ml
+12 -12	libmojave/stdlib/lm_make_printf.ml
+4 -4	libmojave/stdlib/lm_map.ml
+7 -7	libmojave/stdlib/lm_rformat_html.ml
+4 -4	libmojave/stdlib/lm_rformat_tex.ml
+3 -4	libmojave/stdlib/lm_rformat_text.ml
+10 -10	libmojave/stdlib/lm_splay_linear_set.ml
+4 -4	libmojave/stdlib/lm_thread_core_null.ml
+4 -4	libmojave/stdlib/lm_thread_event.ml
+4 -4	libmojave/util/lm_arg.ml
+1 -1	libmojave/util/lm_channel.ml
+9 -14	libmojave/util/lm_lexer.ml
+10 -20	libmojave/util/lm_parser.ml
+4 -4	libmojave/util/lm_ssl.ml
+4 -4	libmojave/util/lm_symbol_matrix.ml

Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-01-29 12:14:42 -0800 (Mon, 29 Jan 2007)
Revision: 9989
Log message:

Moved lm_filename_util from stdlib to util.

Changes	Path
+0 -1	libmojave/stdlib/Files
Deleted	libmojave/stdlib/lm_filename_util.ml
Deleted	libmojave/stdlib/lm_filename_util.mli
+1 -0	libmojave/util/Files
Copied	libmojave/util/lm_filename_util.ml (from rev 9987, libmojave/stdlib/lm_filename_util.ml)
+552 -0	libmojave/util/lm_filename_util.ml (from rev 9987, libmojave/stdlib/lm_filename_util.ml)
Copied	libmojave/util/lm_filename_util.mli (from rev 9987, libmojave/stdlib/lm_filename_util.mli)
+125 -0	libmojave/util/lm_filename_util.mli (from rev 9987, libmojave/stdlib/lm_filename_util.mli)