Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-03 19:51:19 -0700 (Mon, 03 Oct 2005)
Revision: 7831
Log message:

      Merged revisions 2015:7827 (trunk and omake-0.9.6.x branch):
      
        - svn merge -r 2015:7827 svn://svn.metaprl.org/libmojave
        - svn merge -r 2015:7827 svn://svn.metaprl.org/libmojave-branches/omake-0.9.6.x
      

Changes  Path
+1 -1 libmojave-branches/omake_0_9_7_pre7/stdlib/lm_filename_util.ml
+1 -0 libmojave-branches/omake_0_9_7_pre7/util/lm_glob.ml

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-10-07 20:02:02 -0700 (Fri, 07 Oct 2005)
Revision: 7875
Log message:

      Renaming Lm_symbol to Lm_symbol_hash as a temporary performance
      hack.
      

Changes  Path
Deleted libmojave-branches/omake_0_9_7_pre7/util/lm_symbol.ml
Deleted libmojave-branches/omake_0_9_7_pre7/util/lm_symbol.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_symbol_hash.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_symbol_hash.mli

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-10-07 20:02:51 -0700 (Fri, 07 Oct 2005)
Revision: 7876
Log message:

      Copy Lm_symbol from the trunk.
      

Changes  Path
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_symbol.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_symbol.mli

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-10-08 17:13:24 -0700 (Sat, 08 Oct 2005)
Revision: 7878
Log message:

      Re-added all the files that were left behind from the branch.
      

Changes  Path
Copied libmojave-branches/omake_0_9_7_pre7/.cvsignore
Copied libmojave-branches/omake_0_9_7_pre7/OMakefile
Copied libmojave-branches/omake_0_9_7_pre7/OMakeroot
Copied libmojave-branches/omake_0_9_7_pre7/cutil/.cvsignore
Copied libmojave-branches/omake_0_9_7_pre7/cutil/OMakefile
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_abstract.c
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_config.c
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_float.c
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_marshal_shared.c
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_marshal_shared.h
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_mmap.c
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_mmap.h
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_ncurses.c
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_nocompare.c
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_raw.c
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_readline.c
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_rusage.c
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_ssl.c
Copied libmojave-branches/omake_0_9_7_pre7/cutil/lm_terminfo.c
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/.cvsignore
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/Files
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/OMakefile
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_array.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_array.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_array_linear_set.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_array_linear_set.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_array_sig.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_big_int.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_big_int.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_buffer.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_buffer.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_char.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_char.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_cycle_dag.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_cycle_dag.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_dag_sig.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_file_util.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_file_util.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_format.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_format.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_hash_set.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_hash_set.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_hashtbl_util.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_hashtbl_util.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_imp_dag.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_imp_dag.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_int_util.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_int_util.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_io.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_io.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_large_array.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_large_array.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_large_array_weak.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_large_array_weak.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_linear_set_sig.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_list.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_list.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_make_printf.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_make_printf.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_nocompare.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_nocompare.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_num.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_num.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_pervasives.h
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_printf_rbuffer.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_printf_rbuffer.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_ref_util.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_ref_util.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_rformat.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_rformat.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_rformat_html.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_rformat_html.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_rformat_raw.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_rformat_raw.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_rformat_tex.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_rformat_tex.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_rformat_text.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_rformat_text.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_rprintf.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_rprintf.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_serial_map.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_serial_map.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_small_set.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_small_set.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_splay.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_splay.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_splay_linear_set.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_splay_linear_set.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_splay_set.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_splay_set.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_splay_table.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_splay_table.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_string.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_string.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_sys.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_sys.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_table_util.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_table_util.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_test.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_test.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_test_sig.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_thread_event.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_thread_event.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_thread_shell.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_thread_shell.mli
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_thread_util.ml
Copied libmojave-branches/omake_0_9_7_pre7/stdlib/lm_thread_util.mli
Copied libmojave-branches/omake_0_9_7_pre7/system
Copied libmojave-branches/omake_0_9_7_pre7/unix/.cvsignore
Copied libmojave-branches/omake_0_9_7_pre7/unix/Files
Copied libmojave-branches/omake_0_9_7_pre7/unix/OMakefile
Copied libmojave-branches/omake_0_9_7_pre7/unix/lm_id.ml
Copied libmojave-branches/omake_0_9_7_pre7/unix/lm_id.mli
Copied libmojave-branches/omake_0_9_7_pre7/unix/lm_inet.ml
Copied libmojave-branches/omake_0_9_7_pre7/unix/lm_inet.mli
Copied libmojave-branches/omake_0_9_7_pre7/unix/lm_mmap.ml
Copied libmojave-branches/omake_0_9_7_pre7/unix/lm_mmap.mli
Copied libmojave-branches/omake_0_9_7_pre7/unix/lm_mmap_pipe.ml
Copied libmojave-branches/omake_0_9_7_pre7/unix/lm_mmap_pipe.mli
Copied libmojave-branches/omake_0_9_7_pre7/unix/lm_rusage.ml
Copied libmojave-branches/omake_0_9_7_pre7/unix/lm_rusage.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/.cvsignore
Copied libmojave-branches/omake_0_9_7_pre7/util/Files
Copied libmojave-branches/omake_0_9_7_pre7/util/OMakefile
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_attribute.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_attribute.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_bitmatrix.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_bitmatrix.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_clock.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_clock.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_command_util.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_command_util.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_config.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_config.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_ctype.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_ctype.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_digraph.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_digraph.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_dlist.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_dlist.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_field_table.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_field_table.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_flags.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_flags.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_float80.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_float80.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_fmarshal.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_fmarshal.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_format_util.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_format_util.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_graph.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_graph.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_interval_set.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_interval_set.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_listbuf.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_listbuf.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_loop.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_loop.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_ncurses.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_ncurses.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_ncurses_display.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_ncurses_display.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_parse_id.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_parse_id.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_print_util.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_print_util.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_profile.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_profile.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_rawfloat.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_rawfloat.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_rawint.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_rawint.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_readline.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_readline.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_ssl.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_ssl.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_symbol_matrix.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_symbol_matrix.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_table_graph.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_table_graph.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_terminfo.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_terminfo.mli
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_trace.ml
Copied libmojave-branches/omake_0_9_7_pre7/util/lm_trace.mli

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-19 01:55:25 -0700 (Wed, 19 Oct 2005)
Revision: 7933
Log message:

      Adding svn:ignore

Changes  Path
Properties libmojave-branches/omake_0_9_7_pre7/util

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-10-19 11:24:12 -0700 (Wed, 19 Oct 2005)
Revision: 7934
Log message:

      Ah, I forgot to commit libmojave, this must be the problem that prevented
      MetaPRL from compiling.
      
      This adds the for_all and exists functions to *_linear_set.
      

Changes  Path
+12 -0 libmojave-branches/omake_0_9_7_pre7/stdlib/lm_array_linear_set.ml
+2 -0 libmojave-branches/omake_0_9_7_pre7/stdlib/lm_linear_set_sig.ml
+20 -0 libmojave-branches/omake_0_9_7_pre7/stdlib/lm_splay_linear_set.ml

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-27 18:47:00 -0700 (Thu, 27 Oct 2005)
Revision: 8014
Log message:

      "int16" -> "int16_t". I do not know if this is sufficiently portable, but
      "int16" does not seem to work on Mandrake 10.1
      

Changes  Path
+2 -2 libmojave-branches/omake_0_9_7_pre7/cutil/lm_raw.c

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-27 18:50:18 -0700 (Thu, 27 Oct 2005)
Revision: 8015
Log message:

      Eliminated some unused variables.
      

Changes  Path
+1 -5 libmojave-branches/omake_0_9_7_pre7/util/lm_parser.ml
+1 -1 libmojave-branches/omake_0_9_7_pre7/util/lm_symbol_matrix.ml

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-27 18:56:06 -0700 (Thu, 27 Oct 2005)
Revision: 8016
Log message:

      Eliminated couple more unused variables

Changes  Path
+0 -2 libmojave-branches/omake_0_9_7_pre7/util/lm_glob.ml

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-27 19:19:33 -0700 (Thu, 27 Oct 2005)
Revision: 8018
Log message:

      Eliminated a few more unused variables

Changes  Path
+4 -4 libmojave-branches/omake_0_9_7_pre7/stdlib/lm_splay_linear_set.ml
+1 -1 libmojave-branches/omake_0_9_7_pre7/stdlib/lm_splay_table.ml
+1 -1 libmojave-branches/omake_0_9_7_pre7/util/lm_channel.ml
+1 -1 libmojave-branches/omake_0_9_7_pre7/util/lm_glob.ml
+1 -4 libmojave-branches/omake_0_9_7_pre7/util/lm_hash.ml
+1 -2 libmojave-branches/omake_0_9_7_pre7/util/lm_ssl.ml

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-29 11:24:13 -0700 (Sat, 29 Oct 2005)
Revision: 8044
Log message:

      Removing unused variables.
      

Changes  Path
+0 -6 libmojave-branches/omake_0_9_7_pre7/util/lm_lexer.ml
+0 -14 libmojave-branches/omake_0_9_7_pre7/util/lm_parser.ml

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-31 19:09:38 -0800 (Mon, 31 Oct 2005)
Revision: 8058
Log message:

      - Copying libmojave's omake_0_9_7_ref branch to trunk
      - Moving all the libmojave branches to "closed"
      - Switching OMake (both 0.9.6.x and omake_0_9_7_ref branches) to using the
        libmojave trunk.
      

Changes  Path
Copied libmojave-branches/closed/S4-jprover
Copied libmojave-branches/closed/abstract_vars
Copied libmojave-branches/closed/bound_contexts2
Copied libmojave-branches/closed/configure
Copied libmojave-branches/closed/configure2
Copied libmojave-branches/closed/fast_parser
Copied libmojave-branches/closed/jprover-rule-based-unif
Copied libmojave-branches/closed/lexer_args_correction
Copied libmojave-branches/closed/nasslli_branch
Copied libmojave-branches/closed/new_match_table
Copied libmojave-branches/closed/new_parser
Copied libmojave-branches/closed/new_parser2
Copied libmojave-branches/closed/new_parser3
Copied libmojave-branches/closed/new_scanner
Copied libmojave-branches/closed/new_scanner2
Copied libmojave-branches/closed/ocaml_3_07
Copied libmojave-branches/closed/omake-0.9.6.x
Copied libmojave-branches/closed/omake_0_9_7_pre2
Copied libmojave-branches/closed/omake_0_9_7_pre3
Copied libmojave-branches/closed/omake_0_9_7_pre4
Copied libmojave-branches/closed/omake_0_9_7_pre5
Copied libmojave-branches/closed/omake_0_9_7_pre6
Copied libmojave-branches/closed/omake_0_9_7_pre7
Copied libmojave-branches/closed/omake_0_9_7_type1
Copied libmojave-branches/closed/opname_classes
Copied libmojave-branches/closed/opname_classes2
Copied libmojave-branches/closed/opname_classes3
Copied libmojave-branches/closed/opname_classes4
Copied libmojave-branches/closed/quote_param
Copied libmojave-branches/closed/recursive_sequents
Copied libmojave-branches/closed/recursive_sequents2
Copied libmojave-branches/closed/shell_begin
Copied libmojave-branches/closed/strictscope1
Copied libmojave-branches/closed/strictscope2
Copied libmojave-branches/closed/strictscope3
Copied libmojave-branches/closed/stricttest1
Copied libmojave-branches/closed/thread_select
Copied libmojave-branches/closed/version_0_9_7_pre1
Properties omake-branches/0.9.6.x/src
Properties omake-branches/omake_0_9_7_ref/src

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-31 19:12:44 -0800 (Mon, 31 Oct 2005)
Revision: 8059
Log message:

      Turned out that it is impossible to replace a directory in one commit :-(
      

Changes  Path
Copied libmojave

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-31 19:46:34 -0800 (Mon, 31 Oct 2005)
Revision: 8060
Log message:

      There was some strange dupliucation between Lm_parser and Lm_hash, fixing.
      

Changes  Path
+6 -0 libmojave/util/lm_hash.ml
+1 -0 libmojave/util/lm_hash.mli
+1 -149 libmojave/util/lm_parser.ml

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-31 20:11:02 -0800 (Mon, 31 Oct 2005)
Revision: 8062
Log message:

      Killing an unused variable.
      

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