Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-03 17:33:15 -0700 (Sun, 03 Apr 2005)
Revision: 7098
Log message:

      WARNING: Jason's earlier commit broke binary compatibility; this one makes it
      explicit. Export your proofs before updating.
      
      - Updated the filter_magic to account for Jason's changes
      - Marked the parts of filter_summary that are only there for compatibility
        with pre-change PRLA files.
      - The ShapeIForm items are not formal and are display items (when interpreting
        the ls flags).
      

Changes	Path
+6 -3	metaprl/filter/base/filter_magic.ml
+4 -4	metaprl/filter/base/filter_summary.ml
+13 -5	metaprl/support/shell/shell_package.ml