Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-02-23 21:33:16 -0800 (Mon, 23 Feb 1998)
Revision: 2094
Log message:

      Added filename utilities.
      

Changes	Path
Added	metaprl/mllib/filename_util.ml
Properties	metaprl/mllib/filename_util.ml
Added	metaprl/mllib/filename_util.mli
Properties	metaprl/mllib/filename_util.mli