Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-07-25 18:46:44 -0700 (Sun, 25 Jul 2004)
Revision: 469
Log message:

      Added $(glob <options>, <patterns>)
      and $(ls <options>, <patterns>)
      functions.
      

Changes	Path
Added	libmojave/util/lm_glob.ml
Properties	libmojave/util/lm_glob.ml
Added	libmojave/util/lm_glob.mli
Properties	libmojave/util/lm_glob.mli