Changes by: ( at unknown.email)
Date: 2004-06-21 06:49:54 -0700 (Mon, 21 Jun 2004)
Revision: 5985
Log message:

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

Changes	Path
Copied	metaprl-branches/unlabeled-1.28.2
Deleted	metaprl-branches/unlabeled-1.28.2/BUGS
Deleted	metaprl-branches/unlabeled-1.28.2/Makefile
Deleted	metaprl-branches/unlabeled-1.28.2/OMakefile
Deleted	metaprl-branches/unlabeled-1.28.2/OMakeroot
Deleted	metaprl-branches/unlabeled-1.28.2/README
Deleted	metaprl-branches/unlabeled-1.28.2/README.MACOSX
Deleted	metaprl-branches/unlabeled-1.28.2/README.WIN32
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/Makefile
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/OMakefile
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/auto_tactic.mli
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/base_cache.ml
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/base_cache.mli
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/dtactic.ml
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/dtactic.mli
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/simp_typeinf.ml
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/simp_typeinf.mli
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/tactic_cache.ml
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/tactic_cache.mli
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/top_conversionals.ml
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/top_conversionals.mli
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/top_tacticals.ml
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/top_tacticals.mli
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/typeinf.ml
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/typeinf.mli
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/var.ml
Deleted	metaprl-branches/unlabeled-1.28.2/support/tactics/var.mli