Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-12-16 19:58:29 -0800 (Tue, 16 Dec 2003)
Revision: 5182
Log message:

      Adding support for a real check_all();;
      

Changes	Path
+0 -4	metaprl/support/shell/package_info.ml
+0 -2	metaprl/support/shell/package_sig.mlz
+26 -1	metaprl/support/shell/proof_edit.ml
+8 -1	metaprl/support/shell/proof_edit.mli
+24 -19	metaprl/support/shell/shell.ml
+2 -1	metaprl/support/shell/shell_package.ml
+3 -2	metaprl/support/shell/shell_root.ml
+10 -2	metaprl/support/shell/shell_rule.ml
+2 -1	metaprl/support/shell/shell_sig.mlz