Changes by: ( at unknown.email)
Date: 2004-06-20 20:40:44 -0700 (Sun, 20 Jun 2004)
Revision: 5964
Log message:

      This commit was manufactured by cvs2svn to create branch
      'unlabeled-1.7.2'.

Changes  Path
Copied metaprl-branches/unlabeled-1.7.2
Deleted metaprl-branches/unlabeled-1.7.2/BUGS
Deleted metaprl-branches/unlabeled-1.7.2/Makefile
Deleted metaprl-branches/unlabeled-1.7.2/OMakefile
Deleted metaprl-branches/unlabeled-1.7.2/OMakeroot
Deleted metaprl-branches/unlabeled-1.7.2/README
Deleted metaprl-branches/unlabeled-1.7.2/README.MACOSX
Deleted metaprl-branches/unlabeled-1.7.2/README.WIN32
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/Files
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/Makefile
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/OMakefile
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/browser_copy.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/browser_copy.mll
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/browser_edit.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/browser_edit.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/browser_resource.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/browser_resource.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/browser_session_io.mll
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/browser_sig.mlz
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/browser_state.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/browser_state.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/browser_syscall.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/browser_syscall.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/Files
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/OMakefile
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/access.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/body.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/buttons.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/buttons.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/content.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/content.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/cookie.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/edit-done.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/edit-done.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/edit-help.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/edit.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/empty.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/frameset.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/frameset.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/keygen
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/layout.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/login.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/login.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/md5.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/menu.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/menu.js
Binary metaprl-branches/unlabeled-1.7.2/support/shell/inputs/menubutton.gif
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/menucancel.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/menuclient.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/menuserver.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/message.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/message.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/metaprl-ssl.config
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/mojave.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/noscroll.css
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/output.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/output.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/reload.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/rule.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/rule.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/style.css
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/system.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/system.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/validate.js
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/inputs/welcome.html
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/mptop.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/mptop.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/package_info.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/package_info.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/proof_edit.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/proof_edit.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/recursive_lock.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/recursive_lock.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/session.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/session.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/session_current.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/session_current.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/session_io.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/session_io.mll
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/session_sig.mlz
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_browser.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_browser.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_command.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_command.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_core.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_core.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_current.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_current.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_fs.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_fs.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_internal_sig.mlz
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_p4_sig.mlz
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_package.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_package.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_root.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_root.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_rule.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_rule.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_sig.mlz
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_state.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_state.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_syscall.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_syscall.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_syscall_sig.mlz
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_tex.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_tex.mli
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_theory.mlz
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_util.ml
Deleted metaprl-branches/unlabeled-1.7.2/support/shell/shell_util.mli