Received: from mail-pv0-f189.google.com ([74.125.83.189])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <bpfk-list+bncCIyTjrtpEIzV1eYEGgRIKND7@googlegroups.com>)
	id 1PEk3b-0005CE-LA; Sat, 06 Nov 2010 07:47:54 -0700
Received: by pvh1 with SMTP id 1sf1018921pvh.16
        for <multiple recipients>; Sat, 06 Nov 2010 07:47:46 -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:received:received:date:from:to:cc
         :subject:message-id:references:mime-version:in-reply-to:user-agent
         :sender:x-original-sender:x-original-authentication-results:reply-to
         :precedence:mailing-list:list-id:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe:content-type:content-disposition
         :content-transfer-encoding;
        bh=QgTFTnxgtL6QTgnKxRx+OcPB4daFHb5AVU2UF3Au0LM=;
        b=cnGCwpIYZvjDm19CxpF2D6maCq10ZiSAd3nBAt0g3V1SOZFuMOmmFoUZDToKMbGyzr
         t/KgRk68WP4risK7SjC7TR71hY5suOdXwz369f2K4g5Y+tESG23AhNDmQOkLtPLkWmuq
         ZMqXu/EK3mw84h5F4kJBKfRqi2Ub3sdxAC6GA=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:date:from:to:cc:subject:message-id
         :references:mime-version:in-reply-to:user-agent:sender
         :x-original-sender:x-original-authentication-results:reply-to
         :precedence:mailing-list:list-id:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe:content-type:content-disposition
         :content-transfer-encoding;
        b=r52gU9XYi5a8LvJYl09v0wn/5VX2IIIT3K12gH22Bcn79RAerX71ybCfDnCQkdRfwt
         1myFnEl+BIRIelie6PMl4QL9DUp97sfcVBtLVGQLODBLVrCwbG4Vv83fmTwGFta88tEE
         sYGxJ6jrnDZ/iyKxGz+589iuo58CC1PuR0drk=
Received: by 10.143.153.15 with SMTP id f15mr150938wfo.1.1289054860226;
        Sat, 06 Nov 2010 07:47:40 -0700 (PDT)
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.142.6.9 with SMTP id 9ls5745256wff.3.p; Sat, 06 Nov 2010
 07:47:40 -0700 (PDT)
Received: by 10.142.162.15 with SMTP id k15mr2387532wfe.62.1289054859996;
        Sat, 06 Nov 2010 07:47:39 -0700 (PDT)
Received: by 10.142.162.15 with SMTP id k15mr2387531wfe.62.1289054859975;
        Sat, 06 Nov 2010 07:47:39 -0700 (PDT)
Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234])
        by gmr-mx.google.com with ESMTP id f13si5428367wfo.0.2010.11.06.07.47.39;
        Sat, 06 Nov 2010 07:47:39 -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 1PEk3O-0005Bu-Ub
	for bpfk-list@googlegroups.com; Sat, 06 Nov 2010 07:47:39 -0700
Received: from earth.ccil.org ([192.190.237.11])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <cowan@ccil.org>)
	id 1PEk3K-0005Be-7u
	for bpfk@lojban.org; Sat, 06 Nov 2010 07:47:38 -0700
Received: from cowan by earth.ccil.org with local (Exim 4.69)
	(envelope-from <cowan@ccil.org>)
	id 1PEk3I-0007Jo-60; Sat, 06 Nov 2010 10:47:32 -0400
Date: Sat, 6 Nov 2010 10:47:32 -0400
From: John Cowan <cowan@mercury.ccil.org>
To: bpfk-list@googlegroups.com
Cc: bpfk@lojban.org
Subject: Re: [bpfk] dag-cll, next steps
Message-ID: <20101106144732.GA27601@mercury.ccil.org>
References: <20101105232935.GV9301@digitalkingdom.org> <AANLkTimyxOLETLN5AusfEKsR3m9rrO4F0HL3dm4e03-_@mail.gmail.com>
MIME-Version: 1.0
In-Reply-To: <AANLkTimyxOLETLN5AusfEKsR3m9rrO4F0HL3dm4e03-_@mail.gmail.com>
User-Agent: Mutt/1.5.18 (2008-05-17)
Sender: bpfk-list@googlegroups.com
X-Original-Sender: cowan@ccil.org
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>
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-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Length: 867

Jorge Llamb=EDas scripsit:

> It would be nice if the examples were also labeled with the chapter
> they are in. Sometimes people talk about things like "example 8.5" and
> you have to start figuring out what chapter they are talking about.

I agree.  This is more evidence that the example numbers themselves
have become canonical and shouldn't be disturbed more than necessary.

--=20
Don't be so humble.  You're not that great.             John Cowan
        --Golda Meir                                    cowan@ccil.org

--=20
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@googleg=
roups.com.
For more options, visit this group at http://groups.google.com/group/bpfk-l=
ist?hl=3Den.