Changes by: ( at unknown.email)
Date: 2004-02-11 23:51:28 -0800 (Wed, 11 Feb 2004)
Revision: 5367
Log message:

      This commit was manufactured by cvs2svn to create branch
      'recursive_sequents2'.

Changes	Path
Copied	metaprl-branches/recursive_sequents2
Copied	mpcompiler-branches/recursive_sequents2
Copied	texinputs-branches/recursive_sequents2
Deleted	texinputs-branches/recursive_sequents2/1cm.sty
Deleted	texinputs-branches/recursive_sequents2/1cml.sty
Deleted	texinputs-branches/recursive_sequents2/Makefile
Deleted	texinputs-branches/recursive_sequents2/Makefile-common
Deleted	texinputs-branches/recursive_sequents2/PPR-macros.tex
Deleted	texinputs-branches/recursive_sequents2/PPRmyppr.sty
Deleted	texinputs-branches/recursive_sequents2/bcp.bib
Deleted	texinputs-branches/recursive_sequents2/citlogo.eps
Deleted	texinputs-branches/recursive_sequents2/citlogo2.eps
Deleted	texinputs-branches/recursive_sequents2/config.ppr
Deleted	texinputs-branches/recursive_sequents2/cornell-logo.eps
Deleted	texinputs-branches/recursive_sequents2/dag50.eps
Deleted	texinputs-branches/recursive_sequents2/der.tex
Deleted	texinputs-branches/recursive_sequents2/gate.eps
Deleted	texinputs-branches/recursive_sequents2/gate.pdf
Deleted	texinputs-branches/recursive_sequents2/include.tex
Deleted	texinputs-branches/recursive_sequents2/omscmsy.fd
Deleted	texinputs-branches/recursive_sequents2/ot1cmr.fd
Deleted	texinputs-branches/recursive_sequents2/ot1cmss.fd
Deleted	texinputs-branches/recursive_sequents2/ot1lcmss.fd
Deleted	texinputs-branches/recursive_sequents2/ot1lcmtt.fd
Deleted	texinputs-branches/recursive_sequents2/pprpdf
Deleted	texinputs-branches/recursive_sequents2/proof.sty
Deleted	texinputs-branches/recursive_sequents2/slides-nogin.cls
Deleted	texinputs-branches/recursive_sequents2/splncs.bst
Deleted	texinputs-branches/recursive_sequents2/umsa.fd
Deleted	texinputs-branches/recursive_sequents2/umsb.fd