Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-03 22:04:09 -0800 (Fri, 03 Dec 2004)
Revision: 6323
Log message:

      - mllib/OMakefile and mllib/Files both had (different) lists of .mlz
      files, inlining Files for simplicity and consistency (now that we no
      longer use make, we should be getting rid of the "Files" files).
      
      - filter_type had "MAGICBEGIN" marker a bit too early (no need to MD5
      the expections).
      

Changes	Path
+1 -1	metaprl/filter/base/filter_magic.ml
+6 -6	metaprl/filter/base/filter_type.ml
Deleted	metaprl/mllib/Files
+36 -12	metaprl/mllib/OMakefile