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