Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-12-11 13:49:27 -0800 (Sun, 11 Dec 2005)
Revision: 8275
Log message:

      Define a SeqHyp.concat function.
      

Changes  Path
+1 -0 libmojave/stdlib/lm_array_linear_set.ml
+1 -0 libmojave/stdlib/lm_linear_set_sig.ml
+3 -0 libmojave/stdlib/lm_splay_linear_set.ml

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-12-12 18:50:22 -0800 (Mon, 12 Dec 2005)
Revision: 8285
Log message:

      Couple of MAGICBEGIN markers had an erroneous space in them, fixing.
      

Changes  Path
+2 -2 libmojave/util/lm_hash.ml