Changes by: ( at unknown.email)
Date: 2001-06-23 23:24:03 -0700 (Sat, 23 Jun 2001)
Revision: 3291
Log message:

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

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