Changes by: ( at unknown.email)
Date: 2003-12-17 08:22:43 -0800 (Wed, 17 Dec 2003)
Revision: 5191
Log message:

      This commit was manufactured by cvs2svn to create tag
      'M_PAPER_MERLIN_2003_FINAL'.

Changes	Path
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL/doc/htmlman/seminars.html
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL/filter/base/filter_grammar.ml
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL/filter/base/filter_grammar.mli
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL/filter/base/infix.pre.ml
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL/filter/base/infix.win32.ml
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL/refiner/refsig/refine_error.h
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL/refiner/rewrite/rewrite_types.mli
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL/support/shell/shell_rewrite.ml
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL/support/shell/shell_rewrite.mli
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL/util/macro.ml
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL/util/misc.ml
Copied	metaprl-tags/M_PAPER_MERLIN_2003_FINAL/util/misc.mli
Copied	mpcompiler-tags/M_PAPER_MERLIN_2003_FINAL
Copied	texinputs-tags/M_PAPER_MERLIN_2003_FINAL
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/1cm.sty
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/1cml.sty
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/Makefile
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/Makefile-common
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/PPR-macros.tex
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/PPRmyppr.sty
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/bcp.bib
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/citlogo.eps
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/citlogo2.eps
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/config.ppr
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/cornell-logo.eps
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/dag50.eps
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/der.tex
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/gate.eps
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/gate.pdf
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/include.tex
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/omscmsy.fd
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/ot1cmr.fd
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/ot1cmss.fd
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/ot1lcmss.fd
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/ot1lcmtt.fd
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/pprpdf
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/proof.sty
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/slides-nogin.cls
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/splncs.bst
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/umsa.fd
Deleted	texinputs-tags/M_PAPER_MERLIN_2003_FINAL/umsb.fd