Changes by: ( at unknown.email)
Date: 2003-12-07 19:56:45 -0800 (Sun, 07 Dec 2003)
Revision: 5160
Log message:

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

Changes	Path
Copied	metaprl-branches/unlabeled-1.2.2
Deleted	metaprl-branches/unlabeled-1.2.2/BUGS
Deleted	metaprl-branches/unlabeled-1.2.2/Makefile
Deleted	metaprl-branches/unlabeled-1.2.2/OMakefile
Deleted	metaprl-branches/unlabeled-1.2.2/OMakeroot
Deleted	metaprl-branches/unlabeled-1.2.2/README
Deleted	metaprl-branches/unlabeled-1.2.2/README.MACOSX
Deleted	metaprl-branches/unlabeled-1.2.2/README.WIN32
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/Files
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/Makefile
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/OMakefile
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/conversionals_boot.ml
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/conversionals_boot.mli
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/exn_boot.ml
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/exn_boot.mli
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/proof_boot.ml
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/proof_boot.mli
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/proof_convert.ml
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/proof_convert.mli
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/proof_term_boot.ml
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/proof_term_boot.mli
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/rewrite_boot.ml
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/rewrite_boot.mli
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/sequent_boot.ml
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/sequent_boot.mli
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/tactic_boot.ml
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/tactic_boot.mli
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/tactic_boot_sig.ml
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/tactic_type.ml
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/tactic_type.mli
Deleted	metaprl-branches/unlabeled-1.2.2/tactics/proof/tacticals_boot.mli