Changes by: ( at unknown.email)
Date: 2003-09-05 00:10:12 -0700 (Fri, 05 Sep 2003)
Revision: 4937
Log message:

      This commit was manufactured by cvs2svn to create branch
      'new-then_Lab_T-implementation'.

Changes	Path
Copied	metaprl-branches/new-then_Lab_T-implementation
Deleted	metaprl-branches/new-then_Lab_T-implementation/BUGS
Deleted	metaprl-branches/new-then_Lab_T-implementation/Makefile
Deleted	metaprl-branches/new-then_Lab_T-implementation/OMakefile
Deleted	metaprl-branches/new-then_Lab_T-implementation/OMakeroot
Deleted	metaprl-branches/new-then_Lab_T-implementation/README
Deleted	metaprl-branches/new-then_Lab_T-implementation/README.MACOSX
Deleted	metaprl-branches/new-then_Lab_T-implementation/README.WIN32
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/Makefile
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/OMakefile
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/display_term.ml
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/display_term.mli
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/mptop.ml
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/mptop.mli
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/mux_channel.ml
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/mux_channel.mli
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/package_info.ml
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/package_info.mli
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/package_sig.mlz
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/proof_edit.ml
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/proof_edit.mli
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/recursive_lock.ml
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/recursive_lock.mli
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell.ml
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell.mli
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell_p4_sig.mlz
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell_package.ml
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell_package.mli
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell_root.ml
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell_root.mli
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell_rule.ml
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell_rule.mli
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell_sig.mlz
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell_state.ml
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell_state.mli
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell_tex.ml
Deleted	metaprl-branches/new-then_Lab_T-implementation/support/shell/shell_tex.mli