Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-13 19:57:43 -0700 (Sun, 13 Jun 2004)
Revision: 5897
Log message:

      This is the new file model.
      
      Differences:
         1. Instead of "save ()", use "backup ()".
         2. Instead of "export ()", use "save ()".
         3. "backup_all ()" is called automatically when you exit.
         4. If you really want to quit without saving, use "abort ()".
         5. To revert to the last save, use "revert ()".
      
      Just to be clear, *only* the files that you have modified
      are backed-up when you quit.
      

Changes  Path
Properties metaprl
+45 -5 metaprl/filter/base/filter_cache_fun.ml
+5 -0 metaprl/filter/base/filter_summary_io.ml
+2 -0 metaprl/filter/base/filter_summary_type.ml
+0 -0 metaprl/filter/filter/filter_parse.ml
+6 -1 metaprl/mllib/file_base.ml
+1 -0 metaprl/mllib/file_base_type.ml
+1 -78 metaprl/mllib/line_buffer.ml
+2 -1 metaprl/support/shell/browser_resource.ml
+52 -30 metaprl/support/shell/package_info.ml
+5 -4 metaprl/support/shell/package_info.mli
+139 -70 metaprl/support/shell/shell.ml
+6 -1 metaprl/support/shell/shell.mli
+1 -0 metaprl/support/shell/shell_browser.ml
+1 -1 metaprl/support/shell/shell_package.ml
+1 -0 metaprl/support/shell/shell_sig.mlz