Changes by: ( at unknown.email)
Date: 2003-08-29 02:19:15 -0700 (Fri, 29 Aug 2003)
Revision: 4899
Log message:

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

Changes	Path
Copied	metaprl-branches/unlabeled-1.2.4
Deleted	metaprl-branches/unlabeled-1.2.4/BUGS
Deleted	metaprl-branches/unlabeled-1.2.4/Makefile
Deleted	metaprl-branches/unlabeled-1.2.4/OMakefile
Deleted	metaprl-branches/unlabeled-1.2.4/OMakeroot
Deleted	metaprl-branches/unlabeled-1.2.4/README
Deleted	metaprl-branches/unlabeled-1.2.4/README.MACOSX
Deleted	metaprl-branches/unlabeled-1.2.4/README.WIN32
Deleted	metaprl-branches/unlabeled-1.2.4/tactics/null/Makefile
Deleted	metaprl-branches/unlabeled-1.2.4/tactics/null/OMakefile
Deleted	metaprl-branches/unlabeled-1.2.4/tactics/null/thread_refiner.mli