Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-16 19:30:19 -0700 (Wed, 16 Jun 2004)
Revision: 5911
Log message:

      This is the "Newer File Model" as discussed with Aleksey.
      There are 3 levels:
         .cmoz: for auto-save versions
         .prlb: for private versions
         .prla: for public versions
      
      Commands:
         backup/backup_all: perform an auto-save (you won't normally
            need to use these)
         save/save_all: save your private copy
         export/export_all: publish your work
         revert/revert_all: revert to the last saved private version
         abort: quit MetaPRL without auto-saving (exits with an error code)
      

Changes  Path
+1 -1 metaprl/OMakefile
+13 -31 metaprl/filter/base/filter_cache_fun.ml
+8 -1 metaprl/filter/base/filter_summary_io.ml
+0 -0 metaprl/filter/base/filter_summary_io.mli
+1 -0 metaprl/filter/base/filter_summary_type.ml
+9 -0 metaprl/mllib/file_base.ml
+0 -0 metaprl/mllib/file_base.mli
+1 -0 metaprl/mllib/file_base_type.ml
+11 -26 metaprl/support/shell/package_info.ml
+3 -2 metaprl/support/shell/package_info.mli
+30 -17 metaprl/support/shell/shell.ml
+5 -3 metaprl/support/shell/shell.mli
+42 -26 metaprl/support/shell/shell_core.ml
+7 -5 metaprl/support/shell/shell_core.mli