Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-12-10 19:31:26 -0800 (Tue, 10 Dec 2002)
Revision: 3953
Log message:

      Fixing the problem found by Yegor:
      - Change package status to "Unmodified" whe the package is first loaded.
      - "export" should do a more complete check of package status before attempting
      to export it (ReadOnly and Incomplete packages should not be ever exported).
      

Changes  Path
+6 -1 metaprl/editor/ml/package_info.ml