Changes by: ( at unknown.email)
Date: 2001-09-24 11:06:35 -0700 (Mon, 24 Sep 2001)
Revision: 3409
Log message:

      This commit was manufactured by cvs2svn to create tag
      'meta-prl-0_7_0'.

Changes	Path
Copied	metaprl-tags/meta-prl-0_7_0
Deleted	metaprl-tags/meta-prl-0_7_0/theories/itt/itt_decidable.prlb
Copied	texinputs-tags/meta-prl-0_7_0
Deleted	texinputs-tags/meta-prl-0_7_0/Makefile-common
Deleted	texinputs-tags/meta-prl-0_7_0/bcp.bib
Deleted	texinputs-tags/meta-prl-0_7_0/citlogo.eps
Deleted	texinputs-tags/meta-prl-0_7_0/cornell-logo.eps
Deleted	texinputs-tags/meta-prl-0_7_0/dag50.eps
Deleted	texinputs-tags/meta-prl-0_7_0/der.tex
Deleted	texinputs-tags/meta-prl-0_7_0/include.tex
Deleted	texinputs-tags/meta-prl-0_7_0/llncs.cls
Deleted	texinputs-tags/meta-prl-0_7_0/omscmsy.fd
Deleted	texinputs-tags/meta-prl-0_7_0/ot1cmr.fd
Deleted	texinputs-tags/meta-prl-0_7_0/ot1lcmss.fd
Deleted	texinputs-tags/meta-prl-0_7_0/ot1lcmtt.fd
Deleted	texinputs-tags/meta-prl-0_7_0/rc.bib
Deleted	texinputs-tags/meta-prl-0_7_0/slides-nogin.cls
Deleted	texinputs-tags/meta-prl-0_7_0/umsa.fd
Deleted	texinputs-tags/meta-prl-0_7_0/umsb.fd