Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-18 17:40:26 -0700 (Fri, 18 Jun 2004)
Revision: 5944
Log message:

      An alternative fix to the "InteractiveSummary" problem, hopefully this time
      it will work.
      
      Package_info would now always set the InteractiveSummary flag (which is
      a correct thing to do). And Filter_parse will now force saving to .cmoz
      (not just to "first available"), which is a good thing and will force
      the InteractiveSummary flag as well (a bit of a hack, but oh well).
      

Changes  Path
+4 -1 metaprl/filter/filter/filter_parse.ml
+1 -5 metaprl/support/shell/package_info.ml