Received: from mail-gw0-f61.google.com ([74.125.83.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PDm9Z-0002Rw-6p; Wed, 03 Nov 2010 15:50:04 -0700 Received: by gwj20 with SMTP id 20sf1494611gwj.16 for ; Wed, 03 Nov 2010 15:49:55 -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=2gJAKhKuMsqkU5mb54JotdGCCoqrVCZQ+GtMgHpsjh0=; b=ewgH0B6I8lQG3qf+fkp15u/wsVhutdhrZiAsHVmHlpb0vV3N7BntrfiEjx3wkgBMa8 lLfQ62sx3CybMsn5pemw/oAhCkhw8P+C0va3yKbUOi7SnEJQzlWq8s1gwuq/qHUFXZv9 fWOcYf30mAqZ0OHhtumSStB7lW4/mGGsi7xJo= 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=lcjqB1Adalt1p5OZEr1q+xBfBiY60zqqlYddAbmwg7uT2S28S4khCrG07BTVK3wvFZ sbwEEl9gjLv4eE6erX1aEGVEYE0Yn8w7FM8CycttatPqgOT3fabY01bViO0MWZu2xYA8 ZXgez8TtpzYp4WuI/hNhbghNcWZyHF4tKPcl4= Received: by 10.151.135.21 with SMTP id m21mr817ybn.2.1288824588917; Wed, 03 Nov 2010 15:49:48 -0700 (PDT) MIME-Version: 1.0 X-BeenThere: bpfk-list@googlegroups.com Received: by 10.150.158.14 with SMTP id g14ls876221ybe.7.p; Wed, 03 Nov 2010 15:49:48 -0700 (PDT) Received: by 10.150.201.7 with SMTP id y7mr332194ybf.48.1288824588382; Wed, 03 Nov 2010 15:49:48 -0700 (PDT) Received: by 10.142.48.12 with SMTP id v12mr4437081wfv.19.1288819565980; Wed, 03 Nov 2010 14:26:05 -0700 (PDT) Received: by 10.142.48.12 with SMTP id v12mr4437080wfv.19.1288819565956; Wed, 03 Nov 2010 14:26:05 -0700 (PDT) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTP id n6si16081720wfl.7.2010.11.03.14.26.05; Wed, 03 Nov 2010 14:26:05 -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 1PDkqL-0006O8-6W for bpfk-list@googlegroups.com; Wed, 03 Nov 2010 14:26:05 -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 1PDkqI-0006Nw-8Z for bpfk@lojban.org; Wed, 03 Nov 2010 14:26:05 -0700 Received: from github.com (sh1.rs.github.com [172.17.1.41]) by smtp1.rs.github.com (Postfix) with ESMTP id EDCB34204C for ; Wed, 3 Nov 2010 14:26:00 -0700 (PDT) Date: Wed, 3 Nov 2010 14:26:00 -0700 To: bpfk@lojban.org Subject: [bpfk] [dag/cll] 8a1e65: Chapter 20 conformance with the red book. Message-Id: <20101103212600.EDCB34204C@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 Content-Length: 721 Branch: refs/heads/gh-pages Home: https://github.com/dag/cll Commit: 8a1e654b8ece07ce53f15c7780d6ab4b939c0038 https://github.com/dag/cll/commit/8a1e654b8ece07ce53f15c7780d6ab4b939c0038 Author: Robin Lee Powell Date: 2010-11-03 (Wed, 03 Nov 2010) Changed paths: M 20/index.html Log Message: ----------- Chapter 20 conformance with the red book. -- 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.