Changes by: ( at unknown.email)
Date: 2005-07-02 13:51:53 -0700 (Sat, 02 Jul 2005)
Revision: 7540
Log message:

      This commit was manufactured by cvs2svn to create branch 'S4-jprover'.

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