Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-06 14:20:46 -0700 (Wed, 06 Aug 2003)
Revision: 139
Log message:

      Added some support for sequent operations.
      
      subC now works correctly for sequents, but the sequent test is in the
      inner loop, so it will be a little slower.
      
      Haven't changed higherC yet.
      
      Added sequent support in Term_op_ds.{map_up,map_down}.
      

Changes  Path
+1 -0 libmojave/stdlib/lm_array_linear_set.ml
+2 -1 libmojave/stdlib/lm_linear_set_sig.mlz
+9 -0 libmojave/stdlib/lm_splay_linear_set.ml

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-12 12:52:40 -0700 (Tue, 12 Aug 2003)
Revision: 140
Log message:

      Turned off the hyp check so that we can at least see the sequents.
      However, it looks like my hack in Unify_mm doesn't work like we want.
      

Changes  Path
+12 -6 libmojave/util/lm_symbol.ml

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-19 20:46:20 -0700 (Tue, 19 Aug 2003)
Revision: 141
Log message:

      - Unification should now give something slightly resembling meaningful error messages.
      - Minor clean-ups of recently committed code.
      

Changes  Path
+2 -0 libmojave/util/lm_symbol.ml
+12 -11 libmojave/util/lm_symbol.mli

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-19 21:34:11 -0700 (Tue, 19 Aug 2003)
Revision: 143
Log message:

      Added better support for win32.  The main changes are for the C files,
      where a lot of support (like readline, ncurses) is missing.
      

Changes  Path
+5 -3 libmojave/cutil/OMakefile
+16 -3 libmojave/cutil/lm_float.c
+20 -0 libmojave/cutil/lm_printf.c
+10 -10 libmojave/cutil/lm_raw.c
+47 -33 libmojave/cutil/lm_rusage.c

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-20 19:51:55 -0700 (Wed, 20 Aug 2003)
Revision: 146
Log message:

      Moving [o]make variable defaults into a shared file mk/defaults.
      This should (more-or-less) fix bug 34.
      

Changes  Path
+0 -3 libmojave/cutil/OMakefile

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-27 12:38:38 -0700 (Wed, 27 Aug 2003)
Revision: 153
Log message:

      - Removed (using the util/clean-opens script) approx. 2400 unneeded "open"
       statements. This will hopefully reduce the dependency tree size, reduce
      the dependency analysis time during compilation and possibly speed up
      some partial compilations.
      
      - Removed a number of blank lines (MetaPRL policy is to try not to have more
      than one blank line in a row)
      
      - A few minor changes to better disambiguate cases where two modules declare
      a type with the same name and both modules are opened.
      

Changes  Path
+0 -2 libmojave/stdlib/lm_file_util.ml
+0 -1 libmojave/stdlib/lm_hashtbl_util.ml
+0 -1 libmojave/stdlib/lm_hashtbl_util.mli
+0 -1 libmojave/stdlib/lm_imp_dag.ml
+0 -1 libmojave/stdlib/lm_make_printf.ml
+0 -1 libmojave/stdlib/lm_make_printf.mli
+0 -2 libmojave/stdlib/lm_pervasives.ml
+0 -1 libmojave/stdlib/lm_ref_util.ml
+0 -1 libmojave/stdlib/lm_set.ml
+0 -1 libmojave/stdlib/lm_splay_linear_set.mli
+0 -1 libmojave/stdlib/lm_thread_event.ml
+1 -1 libmojave/system/lm_marshal_shared.mli
+0 -1 libmojave/unix/lm_inet.ml
+0 -1 libmojave/util/lm_clock.mli
+0 -1 libmojave/util/lm_field_table.ml
+0 -1 libmojave/util/lm_field_table.mli
+0 -1 libmojave/util/lm_fmarshal.ml
+0 -2 libmojave/util/lm_fmarshal.mli
+0 -1 libmojave/util/lm_print_util.ml
+0 -1 libmojave/util/lm_print_util.mli
+0 -2 libmojave/util/lm_symbol.mli