Changes by: ( at unknown.email)
Date: 2003-08-28 17:09:07 -0700 (Thu, 28 Aug 2003)
Revision: 4896
Log message:

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

Changes	Path
Copied	metaprl-branches/unlabeled-1.1.4
Deleted	metaprl-branches/unlabeled-1.1.4/BUGS
Deleted	metaprl-branches/unlabeled-1.1.4/Makefile
Deleted	metaprl-branches/unlabeled-1.1.4/OMakefile
Deleted	metaprl-branches/unlabeled-1.1.4/OMakeroot
Deleted	metaprl-branches/unlabeled-1.1.4/README
Deleted	metaprl-branches/unlabeled-1.1.4/README.MACOSX
Deleted	metaprl-branches/unlabeled-1.1.4/README.WIN32
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/Makefile
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/OMakefile
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/Files
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/Makefile
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/OMakefile
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/refine_error.h
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/refine_error.mlh
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/refine_error_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/refine_minimal_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/refine_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/refiner_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/rewrite_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_addr_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_base_minimal_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_base_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_eval_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_hash_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_man_minimal_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_man_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_meta_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_norm_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_op_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_shape_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_subst_minimal_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/term_subst_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/termmod_hash_sig.ml
Deleted	metaprl-branches/unlabeled-1.1.4/refiner/refsig/termmod_sig.ml