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

      This commit was manufactured by cvs2svn to create branch
      'WeakMemoGCexpr'.

Changes	Path
Copied	metaprl-branches/WeakMemoGCexpr
Deleted	metaprl-branches/WeakMemoGCexpr/BUGS
Deleted	metaprl-branches/WeakMemoGCexpr/Makefile
Deleted	metaprl-branches/WeakMemoGCexpr/OMakefile
Deleted	metaprl-branches/WeakMemoGCexpr/OMakeroot
Deleted	metaprl-branches/WeakMemoGCexpr/README
Deleted	metaprl-branches/WeakMemoGCexpr/README.MACOSX
Deleted	metaprl-branches/WeakMemoGCexpr/README.WIN32
Deleted	metaprl-branches/WeakMemoGCexpr/doc/Makefile
Deleted	metaprl-branches/WeakMemoGCexpr/doc/itt_quickref.txt
Deleted	metaprl-branches/WeakMemoGCexpr/doc/latex/theories/Makefile
Deleted	metaprl-branches/WeakMemoGCexpr/doc/latex/theories/README
Deleted	metaprl-branches/WeakMemoGCexpr/doc/latex/theories/all-theories.tex
Deleted	metaprl-branches/WeakMemoGCexpr/doc/latex/theories/book2.tex
Deleted	metaprl-branches/WeakMemoGCexpr/doc/resources_spec.txt
Deleted	metaprl-branches/WeakMemoGCexpr/doc/status.tex
Deleted	metaprl-branches/WeakMemoGCexpr/doc/weblintrc
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/.gdbinit
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/BOO008-3.p
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/GEN.p
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/Makefile
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/OMakefile
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/QUICKSTART
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mp
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mp.ml
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mp.mli
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mp_top.ml
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mp_top.mli
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mp_version.mli
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mpconfig
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mpdebug
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mpdebug-top
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mpgossip
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mpopt
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mpserver
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mptop
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mptop.bat
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mpxterm
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/mpxterm-large
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/nuprl_eval.ml
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/nuprl_eval.mli
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/nuprl_jprover.ml
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/nuprl_jprover.mli
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/nuprl_run.ml
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/nuprl_run.mli
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/nuprl_sig.mlz
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/shell_http.ml
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/shell_http.mli
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/shell_mp.ml
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/shell_mp.mli
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/shell_p4.ml
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/shell_p4.mli
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/tutorial.ml
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/tutorial_itt.ml
Deleted	metaprl-branches/WeakMemoGCexpr/editor/ml/x.ml