Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-06-12 17:39:56 -0700 (Sat, 12 Jun 2004)
Revision: 5892
Log message:

      Fixed the ls problem I believe.
      Save session state.  This also saves the current directory.
      Every session has its own persistent history, etc.
      

Changes  Path
+52 -63 metaprl/editor/ml/shell_mp.ml
+29 -40 metaprl/editor/ml/shell_p4.ml
+3 -2 metaprl/mllib/Files
Added metaprl/mllib/line_buffer.ml
Properties metaprl/mllib/line_buffer.ml
Added metaprl/mllib/line_buffer.mli
Properties metaprl/mllib/line_buffer.mli
Properties metaprl/support/shell
+11 -5 metaprl/support/shell/Files
+27 -21 metaprl/support/shell/browser_resource.ml
+1 -1 metaprl/support/shell/browser_resource.mli
Deleted metaprl/support/shell/browser_session_io.mli
+0 -10 metaprl/support/shell/browser_sig.mlz
Deleted metaprl/support/shell/browser_state.ml
Deleted metaprl/support/shell/browser_state.mli
+4 -4 metaprl/support/shell/browser_syscall.mli
+1 -0 metaprl/support/shell/inputs/layout.js
+3 -2 metaprl/support/shell/package_info.ml
+1 -1 metaprl/support/shell/proof_edit.ml
Added metaprl/support/shell/session.ml
Properties metaprl/support/shell/session.ml
Added metaprl/support/shell/session.mli
Properties metaprl/support/shell/session.mli
Added metaprl/support/shell/session_current.ml
Properties metaprl/support/shell/session_current.ml
Added metaprl/support/shell/session_current.mli
Properties metaprl/support/shell/session_current.mli
Added metaprl/support/shell/session_io.mli
Properties metaprl/support/shell/session_io.mli
Added metaprl/support/shell/session_io.mll
Properties metaprl/support/shell/session_io.mll
Added metaprl/support/shell/session_sig.mlz
Properties metaprl/support/shell/session_sig.mlz
+140 -363 metaprl/support/shell/shell.ml
+4 -0 metaprl/support/shell/shell.mli
+61 -62 metaprl/support/shell/shell_browser.ml
Added metaprl/support/shell/shell_core.ml
Properties metaprl/support/shell/shell_core.ml
Added metaprl/support/shell/shell_core.mli
Properties metaprl/support/shell/shell_core.mli
Added metaprl/support/shell/shell_current.ml
Properties metaprl/support/shell/shell_current.ml
Added metaprl/support/shell/shell_current.mli
Properties metaprl/support/shell/shell_current.mli
Added metaprl/support/shell/shell_internal_sig.mlz
Properties metaprl/support/shell/shell_internal_sig.mlz
+6 -11 metaprl/support/shell/shell_p4_sig.mlz
+1 -17 metaprl/support/shell/shell_package.ml
+1 -1 metaprl/support/shell/shell_root.ml
+2 -2 metaprl/support/shell/shell_sig.mlz
+30 -35 metaprl/support/shell/shell_state.ml
+26 -26 metaprl/support/shell/shell_state.mli
+4 -9 metaprl/support/shell/shell_util.ml
+0 -1 metaprl/support/shell/shell_util.mli