Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-07 14:57:59 -0700 (Mon, 07 Jul 2003)
Revision: 98
Log message:

      More patches for "make opt"
      

Changes	Path
Properties	libmojave-branches/abstract_vars/cutil
Added	libmojave-branches/abstract_vars/cutil/.cvsignore
Properties	libmojave-branches/abstract_vars/cutil/.cvsignore
+1 -0	libmojave-branches/abstract_vars/stdlib/lm_set.ml
+1 -0	libmojave-branches/abstract_vars/stdlib/lm_set.mli