Changes by: ( at unknown.email)
Date: 2005-07-21 09:33:49 -0700 (Thu, 21 Jul 2005)
Revision: 7651
Log message:

      This commit was manufactured by cvs2svn to create branch
      'jprover-rule-based-unif'.

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