Changes by: ( at unknown.email)
Date: 2003-12-08 10:12:55 -0800 (Mon, 08 Dec 2003)
Revision: 5170
Log message:

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

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