Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!ginosko!gem.mps.ohio-state.edu!tut.cis.ohio-state.edu!pt.cs.cmu.edu!cadre.dsl.pitt.edu!pitt!unix.cis.pitt.edu!tjw From: tjw@unix.cis.pitt.edu (TJ Wood WA3VQJ) Newsgroups: news.groups Subject: Re: Proof-Theoretic Characterizations of Small Turnips Message-ID: <20207@unix.cis.pitt.edu> Date: 24 Oct 89 23:31:26 GMT References: <21282@gryphon.COM> <21298@gryphon.COM> Reply-To: tjw@unix.cis.pitt.edu (Terry J. Wood) Organization: Univ. of Pittsburgh, Comp & Info Services Lines: 28 In article <21298@gryphon.COM> richard@gryphon.COM (Richard Sexton) writes: >>Hey, what about Ron Heiby? Has he voted against it yet, Richard? >Not yet. He must have died or something. >I'll probably mark him down as no anyway - he would have wanted it that >way. >Indeed I urge all people holding a newsgroup vote to mark down >the Ron Heiby Memorial Obligitory no vote. >Do it for USENET. Do it for Ron. Indeed this is a very bad sign for USENET. I'm sure it's death is near. Richard, if you don't get a NO! vote from Ron, I'm not sure that unix.cis.pitt.edu will honor your (or Chuq's) NEWGROUP request. I beleive that a NO! vote from Ron is required by our local guidelines. Sorry. Terry -- (UUCP) {decwrl!decvax!idis, allegra, bellcore, cadre}!pitt!cisunx!cisvms!tjw (BITNET) TJW@PITTVMS (or) TJW@PITTUNIX (Internet) tjw%vms.cis.pitt.edu@unix.cis.pitt.edu (CC-Net) CISVMS::TJW (or) 33801::TJW (or) CISUNX::tjw (or) 33802::tjw