Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-12-31 14:35:53 -0800 (Fri, 31 Dec 2004)
Revision: 726
Log message:

      Renamed the .mlz files in libmojave to .ml so that we
      can use libmojave for CS134.
      
      This shouldn't cause any problems, but let me know if
      I missed something.
      

Changes	Path
Properties	libmojave/stdlib
+0 -12	libmojave/stdlib/.cvsignore
+0 -7	libmojave/stdlib/Files
Added	libmojave/stdlib/lm_array_sig.ml
Properties	libmojave/stdlib/lm_array_sig.ml
Deleted	libmojave/stdlib/lm_array_sig.mlz
Added	libmojave/stdlib/lm_dag_sig.ml
Properties	libmojave/stdlib/lm_dag_sig.ml
Deleted	libmojave/stdlib/lm_dag_sig.mlz
Added	libmojave/stdlib/lm_linear_set_sig.ml
Properties	libmojave/stdlib/lm_linear_set_sig.ml
Deleted	libmojave/stdlib/lm_linear_set_sig.mlz
Added	libmojave/stdlib/lm_map_sig.ml
Properties	libmojave/stdlib/lm_map_sig.ml
Deleted	libmojave/stdlib/lm_map_sig.mlz
Added	libmojave/stdlib/lm_set_sig.ml
Properties	libmojave/stdlib/lm_set_sig.ml
Deleted	libmojave/stdlib/lm_set_sig.mlz
Added	libmojave/stdlib/lm_thread_sig.ml
Properties	libmojave/stdlib/lm_thread_sig.ml
Deleted	libmojave/stdlib/lm_thread_sig.mlz
Properties	libmojave/system
+0 -2	libmojave/system/.cvsignore
+1 -3	libmojave/system/Files
+0 -1	libmojave/system/OMakefile
Added	libmojave/system/lm_marshal_sig.ml
Properties	libmojave/system/lm_marshal_sig.ml
Deleted	libmojave/system/lm_marshal_sig.mlz