Received: from mail-wy0-f189.google.com ([74.125.82.189])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <lojban-beginners+bncCK7Yk5CUCxDCuoDyBBoEtYBSNg@googlegroups.com>)
	id 1QqTfB-0002Sl-Bw; Mon, 08 Aug 2011 10:30:57 -0700
Received: by wyj26 with SMTP id 26sf8840868wyj.16
        for <multiple recipients>; Mon, 08 Aug 2011 10:30:45 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:in-reply-to:message-id:date
         :subject:from: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;
        bh=KFLu/KPdDgQ9KncqP7kOxZvtsAN5gM8/j2/LV8FMtqI=;
        b=UA1SFIKlnFnZsXnO0QHX53OJMPHJxr1oXc6JZkWQFeF8HXnp9GH3O3O4HGX7QBm1+q
         ZfUl5QDsE87lM03po2XVVDPbbTaQIFN1tFMVnwyPuzdEn6CZytsq3WYlFx/CjXKBTNZN
         w2VrK7tSACSXguk4ZLfE8L31B42gxUxbXQObg=
Received: by 10.216.138.136 with SMTP id a8mr647798wej.3.1312824642386;
        Mon, 08 Aug 2011 10:30:42 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.217.5.144 with SMTP id w16ls17196647wes.3.gmail; Mon, 08 Aug
 2011 10:30:40 -0700 (PDT)
Received: by 10.216.210.134 with SMTP id u6mr218012weo.3.1312824640940;
        Mon, 08 Aug 2011 10:30:40 -0700 (PDT)
Received: by 10.216.210.134 with SMTP id u6mr218011weo.3.1312824640923;
        Mon, 08 Aug 2011 10:30:40 -0700 (PDT)
Received: from mail-ww0-f71.google.com (mail-ww0-f71.google.com [74.125.82.71])
        by gmr-mx.google.com with ESMTPS id fh14si10007211wbb.0.2011.08.08.10.30.40
        (version=TLSv1/SSLv3 cipher=OTHER);
        Mon, 08 Aug 2011 10:30:40 -0700 (PDT)
Received-SPF: pass (google.com: domain of rdentato@gmail.com designates 74.125.82.71 as permitted sender) client-ip=74.125.82.71;
Received: by wwf22 with SMTP id 22so996690wwf.10
        for <lojban-beginners@googlegroups.com>; Mon, 08 Aug 2011 10:30:40 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.213.108.193 with SMTP id g1mr434039ebp.10.1312824640465; Mon,
 08 Aug 2011 10:30:40 -0700 (PDT)
In-Reply-To: <bd1a9efe-b65c-4fd8-b57d-0eda90aba672@bl1g2000vbb.googlegroups.com>
Message-ID: <000e0cd1e08658f09c04aa01ce2f@google.com>
Date: Mon, 08 Aug 2011 17:30:40 +0000
Subject: Re: [lojban-beginners] Re: Typesetting
From: rdentato@gmail.com
To: lojban-beginners@googlegroups.com
X-Original-Sender: rdentato@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of rdentato@gmail.com designates 74.125.82.71 as permitted sender) smtp.mail=rdentato@gmail.com
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
List-ID: <lojban-beginners.googlegroups.com>
X-Google-Group-Id: 300742228892
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, <mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
Sender: lojban-beginners@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+unsubscribe@googlegroups.com>
Content-Type: multipart/alternative; boundary=000e0cd1e08658f08704aa01ce2c
Content-Length: 2555

--000e0cd1e08658f08704aa01ce2c
Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes

On , paul_faehrbrorn <pa.fae@gmx.de> wrote:
> On Aug 2, 7:29 am, Remo Dentato rdent...@gmail.com> wrote:

> > If you already have an initial set of rules, I'could try to whip up a

> > prototype script for doing the conversion.

> How would one do that, btw? I seriously have no idea.

I could use gema or a C library that I've made myself espacially for  
transforming text.

I guess, the best way would be if you could typeset a lojban text in TeX  
with all the rules you have figured out and I will try to infer the rules  
from the example. My TeX-fu is surely a bit rusty but I can dig out the  
TeXbook and see if I can get up to speed again.

BTW, is there any specific reason for TeX?

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


--000e0cd1e08658f08704aa01ce2c
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

On , paul_faehrbrorn &lt;pa.fae@gmx.de&gt; wrote:<br />&gt; On Aug 2, 7:29=
=A0am, Remo Dentato rdent...@gmail.com&gt; wrote:<br />&gt; <br />&gt; &gt;=
 If you already have an initial set of rules, I&#39;could try to whip up a<=
br />&gt; <br />&gt; &gt; prototype script for doing the conversion.<br />&=
gt; <br />&gt; How would one do that, btw? I seriously have no idea.<br /><=
br />I could use gema or a C library that I&#39;ve made myself espacially f=
or transforming text.<br /><br />I guess, the best way would be if you coul=
d typeset a lojban text in TeX with all the rules you have figured out and =
I will try to infer the rules from the example. My TeX-fu is surely a bit r=
usty but I can dig out the TeXbook and see if I can get up to speed again.<=
br /><br />BTW, is there any specific reason for TeX?

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups "=
Lojban Beginners" group.<br />
To post to this group, send email to lojban-beginners@googlegroups.com.<br =
/>
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@=
googlegroups.com.<br />

For more options, visit this group at http://groups.google.com/group/lojban=
-beginners?hl=3Den.<br />



--000e0cd1e08658f08704aa01ce2c--