From bpfk-list+bncCK30vq5WEPP_3eUEGgQ66mtc@googlegroups.com Thu Oct 14 15:11:15 2010 Received: from mail-pz0-f61.google.com ([209.85.210.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1P6W12-0003lm-DB; Thu, 14 Oct 2010 15:11:14 -0700 Received: by pzk2 with SMTP id 2sf37947pzk.16 for ; Thu, 14 Oct 2010 15:11:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:date:from:to:subject:message-id :mail-followup-to:references:mime-version:in-reply-to:user-agent :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type :content-disposition; bh=TLQtlpQN6/6AMEzUgbeR7ziCszehM8bNUYWnZmGnwpw=; b=CSHuBL+AGYeMPFO/Na2UmFDtJPbaOxne11XO1Rn5n3YlihxnCub+VrxrFol7xbOWrK 1WghxA574QaEg3aqOwSYgmApr7qjBPXFCV/xLpZZUc0Z+NbFYXbadRSycdD28X4aLfyO bnuXAt46yb8KjIF8bGlkWglL8RfC4FkFi+vmU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mail-followup-to:references:mime-version:in-reply-to:user-agent :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type :content-disposition; b=UMSo16kgAG2iehT+x5Fw/9Z8PuUhwBC7XHxcbQKUAoNAOt/GCTZ1ft9UvXsVcY9IlQ cvm+12WPTTLnClKEEJbDLLUHg7aLPaef5wg71UkLsaBeGfrfswlh5vr4ZUBD1uUOocB4 DqBfOn5s4/jm+1KH9SqZD+A3wUS3lc2yfUN1I= Received: by 10.143.27.40 with SMTP id e40mr547897wfj.31.1287094259978; Thu, 14 Oct 2010 15:10:59 -0700 (PDT) X-BeenThere: bpfk-list@googlegroups.com Received: by 10.142.194.14 with SMTP id r14ls3930315wff.2.p; Thu, 14 Oct 2010 15:10:59 -0700 (PDT) Received: by 10.142.193.8 with SMTP id q8mr5519523wff.5.1287094259282; Thu, 14 Oct 2010 15:10:59 -0700 (PDT) Received: by 10.142.193.8 with SMTP id q8mr5519522wff.5.1287094259168; Thu, 14 Oct 2010 15:10:59 -0700 (PDT) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTP id h6si15759836wfj.5.2010.10.14.15.10.58; Thu, 14 Oct 2010 15:10:58 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234; Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1P6W0o-0003lG-37 for bpfk-list@googlegroups.com; Thu, 14 Oct 2010 15:10:58 -0700 Date: Thu, 14 Oct 2010 15:10:58 -0700 From: Robin Lee Powell To: bpfk-list@googlegroups.com Subject: Re: [bpfk] BPFK work - getting it done. Message-ID: <20101014221058.GC15812@digitalkingdom.org> Mail-Followup-To: bpfk-list@googlegroups.com References: MIME-Version: 1.0 In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) smtp.mail=rlpowell@digitalkingdom.org Reply-To: bpfk-list@googlegroups.com Precedence: list Mailing-list: list bpfk-list@googlegroups.com; contact bpfk-list+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: bpfk-list@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline Just so we're clear: probably the largest outstanding piece of work is searching for past contention in the various mailing lists and stuff. Arnt did a bunch of that for logical connectives, and can comment with details. -Robin -- http://singinst.org/ : Our last, best hope for a fantastic future. Lojban (http://www.lojban.org/): The language in which "this parrot is dead" is "ti poi spitaki cu morsi", but "this sentence is false" is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ -- You received this message because you are subscribed to the Google Groups "BPFK" group. To post to this group, send email to bpfk-list@googlegroups.com. To unsubscribe from this group, send email to bpfk-list+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/bpfk-list?hl=en.