Received: from mail-gy0-f189.google.com ([209.85.160.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PEZBg-0004Xl-UO; Fri, 05 Nov 2010 20:11:31 -0700 Received: by gyd5 with SMTP id 5sf4093004gyd.16 for ; Fri, 05 Nov 2010 20:11:23 -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:mime-version:sender :received:in-reply-to:references:from:date:message-id:subject:to :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-transfer-encoding; bh=tTCCBO83u6C6RhBjkS9JHEXyUdSPAyj7CyrE2qPnzEg=; b=Fnhr0F8ACi7KYe9gqZGfxVk0qWs6nwlh2YJKrqD0FLnthSr55Sd+X3zKWdmcgdwbGB WfHtthWiYoyGBdQtOUwWHAa4wfK0dyD743nI0ZiMBcLQ3eI/AlVYiKq0IlFcZKrp9OAm jfWnsjZzzYn1DxnDkbDcAB0KOtmZ/wF+hFmZ0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:sender:in-reply-to:references :from:date:message-id:subject:to: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-transfer-encoding; b=dA/U5dFtPQVA+PcIXyfpyejru47L2HO/dQdXkjwGVNRlX08IL3BggDL+gdiO2XRQ8O MEnCE8IUh4PJcLZACxTEU78AmUkjM18v6tigenMY9d0sewUEfCPryBikPSVAW3f6pQaN J5xueG4mMze/UQAL3ZGx8hjwBwuIAVcJqjsdI= Received: by 10.150.242.4 with SMTP id p4mr16256ybh.26.1289013077191; Fri, 05 Nov 2010 20:11:17 -0700 (PDT) X-BeenThere: bpfk-list@googlegroups.com Received: by 10.100.54.26 with SMTP id c26ls1235422ana.2.p; Fri, 05 Nov 2010 20:11:16 -0700 (PDT) Received: by 10.100.10.12 with SMTP id 12mr132121anj.56.1289013076850; Fri, 05 Nov 2010 20:11:16 -0700 (PDT) Received: by 10.100.10.12 with SMTP id 12mr132120anj.56.1289013076813; Fri, 05 Nov 2010 20:11:16 -0700 (PDT) Received: from mail-gw0-f43.google.com (mail-gw0-f43.google.com [74.125.83.43]) by gmr-mx.google.com with ESMTP id x38si656873anx.7.2010.11.05.20.11.15; Fri, 05 Nov 2010 20:11:15 -0700 (PDT) Received-SPF: pass (google.com: domain of johnwcowan@gmail.com designates 74.125.83.43 as permitted sender) client-ip=74.125.83.43; Received: by gwj23 with SMTP id 23so2976704gwj.2 for ; Fri, 05 Nov 2010 20:11:15 -0700 (PDT) Received: by 10.100.242.16 with SMTP id p16mr366657anh.181.1289013075580; Fri, 05 Nov 2010 20:11:15 -0700 (PDT) MIME-Version: 1.0 Sender: bpfk-list@googlegroups.com Received: by 10.100.136.12 with HTTP; Fri, 5 Nov 2010 20:10:55 -0700 (PDT) In-Reply-To: <20101105232935.GV9301@digitalkingdom.org> References: <20101105232935.GV9301@digitalkingdom.org> From: John Cowan Date: Fri, 5 Nov 2010 23:10:55 -0400 Message-ID: Subject: Re: [bpfk] dag-cll, next steps To: bpfk-list@googlegroups.com, bpfk@lojban.org X-Original-Sender: johnwcowan@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of johnwcowan@gmail.com designates 74.125.83.43 as permitted sender) smtp.mail=johnwcowan@gmail.com; dkim=pass (test mode) header.i=@gmail.com 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: List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Length: 909 On Fri, Nov 5, 2010 at 7:29 PM, Robin Lee Powell wrote: > 2. =A0De-manual-ize. =A0There's a *LOT* of stuff that's manually entered > in the book that shouldn't be. =A0As an example, none of the examples > should be numbered in the source; I'm not sure that specific example is the right thing. As we move forward, it would be good if the example numbers remained the same, I think, which implies manual numbering. There are URLs in the mailing list archive that point to specific examples, and it would be good if they still worked. --=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.