Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-18 21:03:40 -0700 (Fri, 18 Jun 2004)
Revision: 5948
Log message:

      Moved the Shell.command struct outside of the shell, so that we can
      use these commands in other modules.
      
      Someday we should think about moving Shell_mp and Shell_p4 into the
      shell/support directory so we can avoid this imperative nonsense.
      One thing to consider, we can abandon Shell_p4 entirely.
      

Changes  Path
+1 -1 metaprl/OMakefile
+1 -1 metaprl/editor/ml/shell_mp.ml
+1 -1 metaprl/filter/filter/filter_prog.ml
+16 -0 metaprl/support/display/nuprl_font.ml
+4 -0 metaprl/support/display/nuprl_font.mli
+4 -4 metaprl/support/display/summary.ml
+5 -4 metaprl/support/shell/Files
+1 -1 metaprl/support/shell/browser_copy.mll
+3 -3 metaprl/support/shell/browser_resource.ml
+0 -1 metaprl/support/shell/inputs/frameset.html
+3 -0 metaprl/support/shell/inputs/style.css
+22 -22 metaprl/support/shell/session.ml
+8 -2 metaprl/support/shell/session_current.ml
+1 -0 metaprl/support/shell/session_current.mli
+2 -0 metaprl/support/shell/session_io.mli
+50 -24 metaprl/support/shell/session_io.mll
+8 -4 metaprl/support/shell/session_sig.mlz
+39 -244 metaprl/support/shell/shell.ml
+0 -71 metaprl/support/shell/shell.mli
Added metaprl/support/shell/shell_command.ml
Properties metaprl/support/shell/shell_command.ml
Added metaprl/support/shell/shell_command.mli
Properties metaprl/support/shell/shell_command.mli
+3 -6 metaprl/support/shell/shell_core.ml
+1 -2 metaprl/support/shell/shell_core.mli
+17 -5 metaprl/support/shell/shell_current.ml
+1 -0 metaprl/support/shell/shell_fs.ml
+45 -0 metaprl/support/shell/shell_sig.mlz
+2 -2 metaprl/support/shell/shell_syscall.ml
+1 -0 metaprl/support/shell/shell_theory.mlz
+1 -1 metaprl/support/tactics/auto_tactic.ml
+1 -1 metaprl/support/tactics/dtactic.ml