Changes by: ( at unknown.email)
Date: 2004-03-17 23:16:41 -0800 (Wed, 17 Mar 2004)
Revision: 5479
Log message:

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

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