From bpfk-list+bncCNzGt6eDFhDPj8PmBBoEykJCxw@googlegroups.com Tue Nov 02 19:24:32 2010 Received: from mail-gw0-f61.google.com ([74.125.83.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PDT1Y-0003FN-Jz; Tue, 02 Nov 2010 19:24:32 -0700 Received: by gwj20 with SMTP id 20sf197677gwj.16 for ; Tue, 02 Nov 2010 19:24:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:mime-version:x-beenthere:received :received:received:received:received:received-spf:received:received :received:date:to:subject:message-id:from: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; bh=3qE6AYXVnLjop+nVcVpeA+HCTLXWyNkvQPMq2EA1hDw=; b=njjvxFwZT621Os8VOGJG1uwAhOFh6F8Xz4ZwpLqXziYNynnmNxgk4pJo0LtM9OmIi4 u1A+0sNxG0PJ9N7wgfzYTOhftBaRksKojiEeuu8cSPBKIM4nIB2Z9CAzmEl3aX8WPVFg iXQgVHKKGVCK67Vmk3BXKhmKk/CxBgUgYavbU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=mime-version:x-beenthere:received-spf:date:to:subject:message-id :from: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; b=LMPGGHrpNHRgBItCRfPafc2QYvtOwtH/zyd+iyd7Ssa5mrPSw4bW9cY60bbxdcsEDs 8Hc4eK1PBSN0wIZzSDbY/9CNMy6APKHgwE2pPcGFLiRmP5pNKKu4H1ftLf7yDXeWLPYW 2LVpw1hwpYC8XR1QiEygoPclkDqzOxgWPgFT4= Received: by 10.150.69.3 with SMTP id r3mr12059yba.8.1288751055850; Tue, 02 Nov 2010 19:24:15 -0700 (PDT) MIME-Version: 1.0 X-BeenThere: bpfk-list@googlegroups.com Received: by 10.150.158.14 with SMTP id g14ls347316ybe.7.p; Tue, 02 Nov 2010 19:24:15 -0700 (PDT) Received: by 10.150.144.1 with SMTP id r1mr39844ybd.47.1288751055667; Tue, 02 Nov 2010 19:24:15 -0700 (PDT) Received: by 10.142.50.20 with SMTP id x20mr1035036wfx.70.1288747862952; Tue, 02 Nov 2010 18:31:02 -0700 (PDT) Received: by 10.142.50.20 with SMTP id x20mr1035032wfx.70.1288747862916; Tue, 02 Nov 2010 18:31:02 -0700 (PDT) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTP id f13si13853379wfo.0.2010.11.02.18.31.02; Tue, 02 Nov 2010 18:31:02 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of nobody@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234; Received: from nobody by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1PDSBp-0008CE-Kg for bpfk-list@googlegroups.com; Tue, 02 Nov 2010 18:31:01 -0700 Received: from smtp1-ext.rs.github.com ([207.97.227.250] helo=smtp1.rs.github.com) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PDSBm-0008C0-4W for bpfk@lojban.org; Tue, 02 Nov 2010 18:31:01 -0700 Received: from github.com (sh1.rs.github.com [172.17.1.41]) by smtp1.rs.github.com (Postfix) with ESMTP id 76045422B6 for ; Tue, 2 Nov 2010 18:30:56 -0700 (PDT) Date: Tue, 2 Nov 2010 18:30:56 -0700 To: bpfk@lojban.org Subject: [bpfk] [dag/cll] 433c66: Updating chapter 16 to the red book; also one mino... Message-Id: <20101103013056.76045422B6@smtp1.rs.github.com> From: noreply@github.com X-Original-Sender: noreply@github.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of nobody@digitalkingdom.org designates 173.13.139.234 as permitted sender) smtp.mail=nobody@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 Branch: refs/heads/gh-pages Home: http://github.com/dag/cll Commit: 433c665fe0ecb06ae0f3dfd3bf37a2dfa44a6ebf http://github.com/dag/cll/commit/433c665fe0ecb06ae0f3dfd3bf37a2dfa44a6ebf Author: Robin Lee Powell Date: 2010-11-02 (Tue, 02 Nov 2010) Changed paths: M 16/11/index.html M 16/12/index.html M 16/13/index.html M 16/9/index.html Log Message: ----------- Updating chapter 16 to the red book; also one minor clarifying insertion. -- 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.