Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-23 16:44:04 -0700 (Thu, 23 Oct 2003)
Revision: 243
Log message:

      The Lm_filename_util.tail function was buggy - it was returning "/xyz"
      instead of "xyz" for files that contained a path!
      
      I removed the Lm_filename_util.tail and replaced it with Filename.basename
      I also renamed the $(tail ...) function into a $(basename ...) one (since
      "basename" is kind of canonical for this).
      For now, I am keeping $(tail ...) as well for backwards compatibility.
      
      Bumping the version number to 0.7.3
      

Changes	Path
+0 -12	libmojave/stdlib/lm_filename_util.ml
+0 -1	libmojave/stdlib/lm_filename_util.mli
+5 -4	omake/src/build/omake_builtin.ml
+1 -1	omake/version.txt