Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-02 19:55:36 -0700 (Fri, 02 May 2003)
Revision: 4546
Log message:

      Moved the shell files from editor/ml to support/shell.
      

Changes	Path
Properties	metaprl/editor/ml
+6 -24	metaprl/editor/ml/Makefile
Deleted	metaprl/editor/ml/display_term.ml
Deleted	metaprl/editor/ml/display_term.mli
Deleted	metaprl/editor/ml/mux_channel.ml
Deleted	metaprl/editor/ml/mux_channel.mli
Deleted	metaprl/editor/ml/package_info.ml
Deleted	metaprl/editor/ml/package_info.mli
Deleted	metaprl/editor/ml/package_sig.mlz
Deleted	metaprl/editor/ml/proof_edit.ml
Deleted	metaprl/editor/ml/proof_edit.mli
Deleted	metaprl/editor/ml/recursive_lock.ml
Deleted	metaprl/editor/ml/recursive_lock.mli
Deleted	metaprl/editor/ml/shell.ml
Deleted	metaprl/editor/ml/shell.mli
Deleted	metaprl/editor/ml/shell_p4_sig.mlz
Deleted	metaprl/editor/ml/shell_package.ml
Deleted	metaprl/editor/ml/shell_package.mli
Deleted	metaprl/editor/ml/shell_rewrite.ml
Deleted	metaprl/editor/ml/shell_rewrite.mli
Deleted	metaprl/editor/ml/shell_root.ml
Deleted	metaprl/editor/ml/shell_root.mli
Deleted	metaprl/editor/ml/shell_rule.ml
Deleted	metaprl/editor/ml/shell_rule.mli
Deleted	metaprl/editor/ml/shell_sig.mlz
Deleted	metaprl/editor/ml/shell_state.ml
Deleted	metaprl/editor/ml/shell_state.mli
Deleted	metaprl/editor/ml/shell_tex.ml
Deleted	metaprl/editor/ml/shell_tex.mli
Properties	metaprl/support/shell
+18 -0	metaprl/support/shell/Makefile
Added	metaprl/support/shell/display_term.ml
Properties	metaprl/support/shell/display_term.ml
Added	metaprl/support/shell/display_term.mli
Properties	metaprl/support/shell/display_term.mli
Added	metaprl/support/shell/mux_channel.ml
Properties	metaprl/support/shell/mux_channel.ml
Added	metaprl/support/shell/mux_channel.mli
Properties	metaprl/support/shell/mux_channel.mli
Added	metaprl/support/shell/package_info.ml
Properties	metaprl/support/shell/package_info.ml
Added	metaprl/support/shell/package_info.mli
Properties	metaprl/support/shell/package_info.mli
Added	metaprl/support/shell/package_sig.mlz
Properties	metaprl/support/shell/package_sig.mlz
Added	metaprl/support/shell/proof_edit.ml
Properties	metaprl/support/shell/proof_edit.ml
Added	metaprl/support/shell/proof_edit.mli
Properties	metaprl/support/shell/proof_edit.mli
Added	metaprl/support/shell/recursive_lock.ml
Properties	metaprl/support/shell/recursive_lock.ml
Added	metaprl/support/shell/recursive_lock.mli
Properties	metaprl/support/shell/recursive_lock.mli
Added	metaprl/support/shell/shell.ml
Properties	metaprl/support/shell/shell.ml
Added	metaprl/support/shell/shell.mli
Properties	metaprl/support/shell/shell.mli
Added	metaprl/support/shell/shell_p4_sig.mlz
Properties	metaprl/support/shell/shell_p4_sig.mlz
Added	metaprl/support/shell/shell_package.ml
Properties	metaprl/support/shell/shell_package.ml
Added	metaprl/support/shell/shell_package.mli
Properties	metaprl/support/shell/shell_package.mli
Added	metaprl/support/shell/shell_rewrite.ml
Properties	metaprl/support/shell/shell_rewrite.ml
Added	metaprl/support/shell/shell_rewrite.mli
Properties	metaprl/support/shell/shell_rewrite.mli
Added	metaprl/support/shell/shell_root.ml
Properties	metaprl/support/shell/shell_root.ml
Added	metaprl/support/shell/shell_root.mli
Properties	metaprl/support/shell/shell_root.mli
Added	metaprl/support/shell/shell_rule.ml
Properties	metaprl/support/shell/shell_rule.ml
Added	metaprl/support/shell/shell_rule.mli
Properties	metaprl/support/shell/shell_rule.mli
Added	metaprl/support/shell/shell_sig.mlz
Properties	metaprl/support/shell/shell_sig.mlz
Added	metaprl/support/shell/shell_state.ml
Properties	metaprl/support/shell/shell_state.ml
Added	metaprl/support/shell/shell_state.mli
Properties	metaprl/support/shell/shell_state.mli
Added	metaprl/support/shell/shell_tex.ml
Properties	metaprl/support/shell/shell_tex.ml
Added	metaprl/support/shell/shell_tex.mli
Properties	metaprl/support/shell/shell_tex.mli