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