Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-17 10:54:29 -0700 (Thu, 17 Jun 2004)
Revision: 5918
Log message:

      - Removed some more unused code.
      - Removed edit_refine (which was duplicating the edit_interpret (ProofRefine)
        functionality).
      

Changes	Path
+0 -11	metaprl/support/shell/proof_edit.mli
+1 -1	metaprl/support/shell/shell.ml
+1 -1	metaprl/support/shell/shell_core.ml
+0 -4	metaprl/support/shell/shell_fs.ml
+0 -1	metaprl/support/shell/shell_package.ml
+0 -4	metaprl/support/shell/shell_root.ml
+0 -8	metaprl/support/shell/shell_rule.ml
+0 -1	metaprl/support/shell/shell_sig.mlz