Received: from mail-gw0-f61.google.com ([74.125.83.61])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <bpfk-list+bncCNzGt6eDFhCcyMPmBBoEx4zccg@googlegroups.com>)
	id 1PDUuO-0002ZM-3Y; Tue, 02 Nov 2010 21:25:18 -0700
Received: by gwj20 with SMTP id 20sf336964gwj.16
        for <multiple recipients>; Tue, 02 Nov 2010 21:25:06 -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=j0EAHo7hh6mDQx/bzQGeNWwy8JoqURHFBuqEGBodc6o=;
        b=RcZAWsdLm/GFK8rdGR4sJdff3Avob1rB1LSdH++5m2Z9ldH2939kmkxdVnXHTRbP8K
         4wwYWrsuAZUZd1WXewFn6EwEXeeEQuoonwuPDCwrt+N9OjcoeqlZakVtIYJhw1xjJSCz
         Pa63dUYIt487VqMWHwtfBeiOpln0pFEJ6ewUk=
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=TVt98+E0XNgWGzMU0OMt+9K4DY+yZKz0BceNOiEK1NUUBXVFNT193vrp3E/9jr1Xza
         nsPEn6lYR7ShZ/DQ6/0/zSdtZuX8O0rAcsyiUC9Ig4YAjL525DyKkWzOwIGigcRNNeuO
         VDz3/iXa9SwqI12k546GEsGzGwt2UTrDsSAPs=
Received: by 10.150.172.7 with SMTP id u7mr17339ybe.55.1288758300347;
        Tue, 02 Nov 2010 21:25:00 -0700 (PDT)
MIME-Version: 1.0
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.150.56.35 with SMTP id e35ls393805yba.5.p; Tue, 02 Nov 2010
 21:25:00 -0700 (PDT)
Received: by 10.150.195.11 with SMTP id s11mr69587ybf.32.1288758300141;
        Tue, 02 Nov 2010 21:25:00 -0700 (PDT)
Received: by 10.142.221.10 with SMTP id t10mr4904437wfg.63.1288752315608;
        Tue, 02 Nov 2010 19:45:15 -0700 (PDT)
Received: by 10.142.221.10 with SMTP id t10mr4904436wfg.63.1288752315586;
        Tue, 02 Nov 2010 19:45:15 -0700 (PDT)
Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234])
        by gmr-mx.google.com with ESMTP id f13si14000807wfo.0.2010.11.02.19.45.15;
        Tue, 02 Nov 2010 19:45:15 -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 <nobody@digitalkingdom.org>)
	id 1PDTLe-0004pt-Tj
	for bpfk-list@googlegroups.com; Tue, 02 Nov 2010 19:45:15 -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 <noreply@github.com>)
	id 1PDTLb-0004pi-CG
	for bpfk@lojban.org; Tue, 02 Nov 2010 19:45:14 -0700
Received: from github.com (sh1.rs.github.com [172.17.1.41])
	by smtp1.rs.github.com (Postfix) with ESMTP id 042C94208C
	for <bpfk@lojban.org>; Tue,  2 Nov 2010 19:45:09 -0700 (PDT)
Date: Tue, 2 Nov 2010 19:45:09 -0700
To: bpfk@lojban.org
Subject: [bpfk] [dag/cll] 67ca2c: Various updates to be more in line with the
 red bo...
Message-Id: <20101103024509.042C94208C@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: <bpfk-list.googlegroups.com>
List-Post: <http://groups.google.com/group/bpfk-list/post?hl=en_US>, <mailto:bpfk-list@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:bpfk-list+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/bpfk-list?hl=en_US>
Sender: bpfk-list@googlegroups.com
List-Subscribe: <http://groups.google.com/group/bpfk-list/subscribe?hl=en_US>, <mailto:bpfk-list+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/bpfk-list/subscribe?hl=en_US>,
 <mailto:bpfk-list+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Length: 983

Branch: refs/heads/gh-pages
Home:   http://github.com/dag/cll

Commit: 67ca2cd4034a978466ed3edf306ff5b5559f049f
    http://github.com/dag/cll/commit/67ca2cd4034a978466ed3edf306ff5b5559f049f
Author: Robin Lee Powell <rlpowell@digitalkingdom.org>
Date:   2010-11-02 (Tue, 02 Nov 2010)

Changed paths:
  M 18/10/index.html
  M 18/11/index.html
  M 18/14/index.html
  M 18/19/index.html
  M 18/20/index.html
  M 18/22/index.html
  M 18/3/index.html
  M 18/5/index.html
  M 18/6/index.html
  M 18/7/index.html

Log Message:
-----------
Various updates to be more in line with the red book, although
section 22 had a bunch of "li" added to make it parse.



-- 
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.