Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-18 08:43:37 -0700 (Fri, 18 Jun 2004)
Revision: 5937
Log message:

      I tried to move the display forms to Shell_fs, but it didn't work,
      so I moved it back.
      

Changes	Path
+1 -1	metaprl/mllib/http_simple.ml
+40 -31	metaprl/support/display/summary.ml
+7 -4	metaprl/support/display/summary.mli
+1 -1	metaprl/support/shell/Files
+98 -52	metaprl/support/shell/browser_resource.ml
+4 -2	metaprl/support/shell/browser_resource.mli
+1 -1	metaprl/support/shell/inputs/menuclient.js
+5 -2	metaprl/support/shell/inputs/menuserver.js
+6 -0	metaprl/support/shell/inputs/style.css
+12 -0	metaprl/support/shell/proof_edit.ml
+4 -0	metaprl/support/shell/proof_edit.mli
+4 -0	metaprl/support/shell/shell.ml
+4 -0	metaprl/support/shell/shell.mli
+3 -1	metaprl/support/shell/shell_core.ml
+1 -0	metaprl/support/shell/shell_core.mli
+15 -0	metaprl/support/shell/shell_fs.ml
+12 -0	metaprl/support/shell/shell_package.ml
+12 -0	metaprl/support/shell/shell_root.ml
+4 -0	metaprl/support/shell/shell_rule.ml
+9 -0	metaprl/support/shell/shell_sig.mlz
+1 -0	metaprl/support/shell/shell_theory.mlz
+4 -1	metaprl/support/tactics/auto_tactic.ml
+4 -1	metaprl/support/tactics/dtactic.ml