Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-09 00:19:46 -0700 (Wed, 09 Jul 2003)
Revision: 107
Log message:

      Merging in the abstract_vars branch:
      - variables are now an abstract type, not strings
      - MVar parameters are gone
      
      See the branch log messages for more information.
      
      P.S. This is a pretty big change, so I bumped the version number
      in mk/preface.
      

Changes  Path
Properties libmojave
Added libmojave/.cvsignore
Properties libmojave/.cvsignore
Added libmojave/Makefile
Properties libmojave/Makefile
Added libmojave/OMakefile
Properties libmojave/OMakefile
Properties libmojave/cutil
Added libmojave/cutil/.cvsignore
Properties libmojave/cutil/.cvsignore
+36 -2 libmojave/cutil/Makefile
+2 -1 libmojave/cutil/OMakefile
Added libmojave/cutil/lm_mmap.c
Properties libmojave/cutil/lm_mmap.c
Added libmojave/cutil/lm_mmap.h
Properties libmojave/cutil/lm_mmap.h
+4 -4 libmojave/cutil/lm_readline.c
+76 -0 libmojave/cutil/lm_rusage.c
Properties libmojave/stdlib
Added libmojave/stdlib/.cvsignore
Properties libmojave/stdlib/.cvsignore
Added libmojave/stdlib/Files
Properties libmojave/stdlib/Files
+28 -2 libmojave/stdlib/Makefile
+3 -12 libmojave/stdlib/OMakefile
Added libmojave/stdlib/lm_array_util.ml
Properties libmojave/stdlib/lm_array_util.ml
Added libmojave/stdlib/lm_array_util.mli
Properties libmojave/stdlib/lm_array_util.mli
Added libmojave/stdlib/lm_big_int.ml
Properties libmojave/stdlib/lm_big_int.ml
Added libmojave/stdlib/lm_big_int.mli
Properties libmojave/stdlib/lm_big_int.mli
+28 -0 libmojave/stdlib/lm_debug.ml
+12 -0 libmojave/stdlib/lm_debug.mli
Added libmojave/stdlib/lm_file_util.ml
Properties libmojave/stdlib/lm_file_util.ml
Added libmojave/stdlib/lm_file_util.mli
Properties libmojave/stdlib/lm_file_util.mli
Added libmojave/stdlib/lm_filename_util.ml
Properties libmojave/stdlib/lm_filename_util.ml
Added libmojave/stdlib/lm_filename_util.mli
Properties libmojave/stdlib/lm_filename_util.mli
Added libmojave/stdlib/lm_hashtbl_util.ml
Properties libmojave/stdlib/lm_hashtbl_util.ml
Added libmojave/stdlib/lm_hashtbl_util.mli
Properties libmojave/stdlib/lm_hashtbl_util.mli
Added libmojave/stdlib/lm_int_util.ml
Properties libmojave/stdlib/lm_int_util.ml
Added libmojave/stdlib/lm_int_util.mli
Properties libmojave/stdlib/lm_int_util.mli
Added libmojave/stdlib/lm_list_util.ml
Properties libmojave/stdlib/lm_list_util.ml
Added libmojave/stdlib/lm_list_util.mli
Properties libmojave/stdlib/lm_list_util.mli
Added libmojave/stdlib/lm_num.ml
Properties libmojave/stdlib/lm_num.ml
Added libmojave/stdlib/lm_num.mli
Properties libmojave/stdlib/lm_num.mli
+18 -207 libmojave/stdlib/lm_pervasives.ml
+16 -171 libmojave/stdlib/lm_pervasives.mli
Added libmojave/stdlib/lm_ref_util.ml
Properties libmojave/stdlib/lm_ref_util.ml
Added libmojave/stdlib/lm_ref_util.mli
Properties libmojave/stdlib/lm_ref_util.mli
+52 -5 libmojave/stdlib/lm_set.ml
+4 -0 libmojave/stdlib/lm_set.mli
Added libmojave/stdlib/lm_string_set.ml
Properties libmojave/stdlib/lm_string_set.ml
Added libmojave/stdlib/lm_string_set.mli
Properties libmojave/stdlib/lm_string_set.mli
+159 -32 libmojave/stdlib/lm_string_util.ml
+24 -4 libmojave/stdlib/lm_string_util.mli
Added libmojave/stdlib/lm_thread_event.ml
Properties libmojave/stdlib/lm_thread_event.ml
Added libmojave/stdlib/lm_thread_event.mli
Properties libmojave/stdlib/lm_thread_event.mli
Added libmojave/stdlib/lm_thread_util.ml
Properties libmojave/stdlib/lm_thread_util.ml
Added libmojave/stdlib/lm_thread_util.mli
Properties libmojave/stdlib/lm_thread_util.mli
Properties libmojave/unix
Added libmojave/unix/.#lm_unix_util.ml
Properties libmojave/unix/.#lm_unix_util.ml
Added libmojave/unix/.#lm_unix_util.mli
Properties libmojave/unix/.#lm_unix_util.mli
Added libmojave/unix/.cvsignore
Properties libmojave/unix/.cvsignore
Added libmojave/unix/Files
Properties libmojave/unix/Files
Added libmojave/unix/Makefile
Properties libmojave/unix/Makefile
Added libmojave/unix/OMakefile
Properties libmojave/unix/OMakefile
Added libmojave/unix/lm_id.ml
Properties libmojave/unix/lm_id.ml
Added libmojave/unix/lm_id.mli
Properties libmojave/unix/lm_id.mli
Added libmojave/unix/lm_inet.ml
Properties libmojave/unix/lm_inet.ml
Added libmojave/unix/lm_inet.mli
Properties libmojave/unix/lm_inet.mli
Added libmojave/unix/lm_mmap.ml
Properties libmojave/unix/lm_mmap.ml
Added libmojave/unix/lm_mmap.mli
Properties libmojave/unix/lm_mmap.mli
Added libmojave/unix/lm_mmap_pipe.ml
Properties libmojave/unix/lm_mmap_pipe.ml
Added libmojave/unix/lm_mmap_pipe.mli
Properties libmojave/unix/lm_mmap_pipe.mli
Added libmojave/unix/lm_rusage.ml
Properties libmojave/unix/lm_rusage.ml
Added libmojave/unix/lm_rusage.mli
Properties libmojave/unix/lm_rusage.mli
Added libmojave/unix/lm_unix_util.ml
Properties libmojave/unix/lm_unix_util.ml
Added libmojave/unix/lm_unix_util.mli
Properties libmojave/unix/lm_unix_util.mli
Properties libmojave/util
Added libmojave/util/.cvsignore
Properties libmojave/util/.cvsignore
Added libmojave/util/Files
Properties libmojave/util/Files
+27 -2 libmojave/util/Makefile
+2 -33 libmojave/util/OMakefile
Deleted libmojave/util/lm_filename_util.ml
Deleted libmojave/util/lm_filename_util.mli
+1 -1 libmojave/util/lm_flags.ml
+1 -5 libmojave/util/lm_flags.mli
Deleted libmojave/util/lm_list_util.ml
Deleted libmojave/util/lm_list_util.mli
+5 -5 libmojave/util/lm_readline.ml
+3 -3 libmojave/util/lm_readline.mli
Deleted libmojave/util/lm_rusage.ml
Deleted libmojave/util/lm_rusage.mli
+78 -79 libmojave/util/lm_symbol.ml
+13 -7 libmojave/util/lm_symbol.mli