Received: from mail-oa0-f61.google.com ([209.85.219.61]:37837)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBC5PVEWQT4CBBUVKUWCQKGQE5NJPNTI@googlegroups.com>)
	id 1TaCZU-0001Cn-Ng; Sun, 18 Nov 2012 13:38:43 -0800
Received: by mail-oa0-f61.google.com with SMTP id o6sf3237547oag.16
        for <multiple recipients>; Sun, 18 Nov 2012 13:38:26 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-beenthere:received-spf:date:from:to:subject:message-id
         :mail-followup-to:references:mime-version:in-reply-to
         :x-original-sender:x-original-authentication-results:reply-to
         :precedence:mailing-list:list-id:x-google-group-id:list-post
         :list-help:list-archive:sender:list-subscribe:list-unsubscribe
         :content-type:content-disposition;
        bh=gJf7dPY7SyT5GmzCM8nyXFC4Qn8XdlOYFeOxx+TMNYE=;
        b=Zs6btUqxAhL8bBMeyLhHfiU06uH927W+aS9NGKUNkgoPCR0HzWOIGJs2pbLedKAoYk
         Z6OI+FSmkeYU0JBzwCRw5aERz5GOwUp9m3F08jH9Qlsp5yuUHemyJ9oCDREkpZKKrbie
         WUSPXrH+2jYRaSTUrE92pDnVaX4RclsTq8Kmc+GpeyF2si03RMNsktc2lm7WqBSzlJOn
         UHyy/Q1IhaQFQNV7u7K/b7ABrt7d8iQYQSipzRuWqZUNi4UjiOBN5dM8coQz2rpW9177
         HL13ZyueYvCyOGhL6IZL898a0yr6iREiwH2E9vJL9LqTM85CUW7jzxV7pR7VFWCTZiau
         J/Iw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=google.com; s=20120113;
        h=x-beenthere:received-spf:date:from:to:subject:message-id
         :mail-followup-to:references:mime-version:in-reply-to
         :x-gm-message-state:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type:content-disposition;
        bh=gJf7dPY7SyT5GmzCM8nyXFC4Qn8XdlOYFeOxx+TMNYE=;
        b=pWouEpcm6zB2b8rod3sSywx1O3XSj4rtlIQmTcv7fshwB1UcQkN7KYoFfMVJq8vmI8
         Bew0ky/2HE32RpuaYjjetM1OumqX6yjYLufjx7L2/AWS+Lj/eIdpTtNIHSBoawWlPxGi
         TyAQk8vm3NGPLlso8oA31sfhQueQiEy3VoZRSnffqg7XorJ8WO4a7yti7jvsDNHPX5Gg
         AmK5TjCC2sVoukEy2YS6L7FFF9GkO4GehjII/b0l12BrDJZzxVUAjrQWdIl3qqlvzznc
         qUIUQX6Vwv8ZQzDrVNSdc5VvHUsfWXcyieYSWtQ0pPQhLxmCLs+b0kZSLpcUfDI9qMZM
         PLPQ==
Received: by 10.50.42.194 with SMTP id q2mr1710012igl.11.1353274706472;
        Sun, 18 Nov 2012 13:38:26 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.50.153.194 with SMTP id vi2ls2325727igb.22.gmail; Sun, 18 Nov
 2012 13:38:25 -0800 (PST)
Received: by 10.50.100.193 with SMTP id fa1mr4311157igb.5.1353274705897;
        Sun, 18 Nov 2012 13:38:25 -0800 (PST)
Received: by 10.50.100.193 with SMTP id fa1mr4311156igb.5.1353274705883;
        Sun, 18 Nov 2012 13:38:25 -0800 (PST)
Received: from mail-ie0-f175.google.com (mail-ie0-f175.google.com [209.85.223.175])
        by gmr-mx.google.com with ESMTPS id s15si931016igi.1.2012.11.18.13.38.24
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 18 Nov 2012 13:38:24 -0800 (PST)
Received-SPF: neutral (google.com: 209.85.223.175 is neither permitted nor denied by best guess record for domain of alanpost@sunflowerriver.org) client-ip=209.85.223.175;
Received: by mail-ie0-f175.google.com with SMTP id qd14so391491ieb.6
        for <lojban@googlegroups.com>; Sun, 18 Nov 2012 13:38:24 -0800 (PST)
Received: by 10.50.150.176 with SMTP id uj16mr4989112igb.38.1353274704648;
        Sun, 18 Nov 2012 13:38:24 -0800 (PST)
Received: from sunflowerriver.org (c-68-35-162-196.hsd1.nm.comcast.net. [68.35.162.196])
        by mx.google.com with ESMTPS id v12sm6115509igv.3.2012.11.18.13.38.22
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 18 Nov 2012 13:38:23 -0800 (PST)
Date: Sun, 18 Nov 2012 14:38:19 -0700
From: ".alyn.post." <alyn.post@lodockikumazvati.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] CLL 1.1/ CLL 2.0. What is your opinion in the current situation?
Message-ID: <20121118213844.GD27366@sunflowerriver.org>
Mail-Followup-To: lojban@googlegroups.com
References: <9cc8cae2-03f8-48c6-85f0-c77cb5d49e35@googlegroups.com>
 <20121116164912.GH25271@stodi.digitalkingdom.org>
 <02dd10e6-4b48-498b-9e34-9eaf37b3c3e7@googlegroups.com>
 <20121118131251.GG28469@stodi.digitalkingdom.org>
 <2ed9a908-9401-4c1d-a1f6-1f1167265d04@googlegroups.com>
 <20121118184842.GH28469@stodi.digitalkingdom.org>
 <50A9375D.5060404@gmx.de>
 <CAMKwHj00ZfuP_S5fsWC2RacXTbzJa4X3=vkxKF2E_r23p8Jryw@mail.gmail.com>
MIME-Version: 1.0
In-Reply-To: <CAMKwHj00ZfuP_S5fsWC2RacXTbzJa4X3=vkxKF2E_r23p8Jryw@mail.gmail.com>
X-Gm-Message-State: ALoCoQk7PCBHYa6RJsIh/w0iRNS3IJ0wY4oqz/rUSNLo9spTb/gz0ZAtxLDCfzJmEwJonj6uFpww
X-Original-Sender: alyn.post@lodockikumazvati.org
X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com:
 209.85.223.175 is neither permitted nor denied by best guess record for
 domain of alanpost@sunflowerriver.org) smtp.mail=alanpost@sunflowerriver.org
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Disposition: inline
X-Spam-Score: 0.1 (/)
X-Spam_score: 0.1
X-Spam_score_int: 1
X-Spam_bar: /
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has
 identified this incoming email as possible spam.  The original message
 has been attached to this so you can view it (if it isn't spam) or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  On Sun, Nov 18, 2012 at 01:58:31PM -0700, Jonathan Jones wrote:
    > [snip] which is why > CLL1.1 is being encoded in LaTeX and hosted in a
   git repository: being in > LaTeX makes it easy to print the same material
   in a large variety of > formats, including but not limited to the ones I've
    mentioned, and being > in a git repo makes it very easy to submit changes
    to the CLL on an as > needed basis. [...] 
 
 Content analysis details:   (0.1 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.1 DKIM_SIGNED            Message has a DKIM or DK signature, not necessarily valid
  0.0 T_DKIM_INVALID         DKIM-Signature header exists but is not valid

On Sun, Nov 18, 2012 at 01:58:31PM -0700, Jonathan Jones wrote:
>    [snip] which is why
>    CLL1.1 is being encoded in LaTeX and hosted in a git repository: being in
>    LaTeX makes it easy to print the same material in a large variety of
>    formats, including but not limited to the ones I've mentioned, and being
>    in a git repo makes it very easy to submit changes to the CLL on an as
>    needed basis.

A minor technical point, not detracting from your main point:

CLL1.1 is written in docbook.  The print version of CLL1.1 converts
the logical docbook format into LaTeX typesetting commands.  One
unresolved issue for CLL1.1 is that this conversion does not
produce an acceptable result and needs to be tweaked and fixed.

My impression is that this is the #1 item on the todo list, but
in that I could be mistaken.

mi'e .alyn.
-- 
.i ma'a lo bradi cu penmi gi'e du

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.