Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-20 00:39:40 -0700 (Fri, 20 Jun 2003)
Revision: 4676
Log message:

      Adding a version number to cmiz/cmoz/prla/prlb files.
      
      Before this change we had a magic number that was responsible for making sure that
      the file has format we expect it to have and that it has a compatible version
      of the format. Now there is a separate magic number responsible for the format
      (which is not supposed to change, unless we add/remove formats) and the version number
      that is supposed to change whenever the format
      (or underlying data structures/data representation) changes.
      

Changes  Path
+48 -33 metaprl/filter/base/filter_cache.ml
+29 -6 metaprl/filter/base/filter_exn.ml
+0 -10 metaprl/filter/filter/filter_parse.ml
+5 -3 metaprl/library/library_type_base.ml
+9 -20 metaprl/mllib/file_base.ml
+7 -5 metaprl/mllib/file_base_type.ml
+38 -10 metaprl/mllib/file_type_base.ml
+6 -0 metaprl/mllib/file_type_base.mli