Received: from mail-yh0-f61.google.com ([209.85.213.61]:40943) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1WZkvu-0001gn-E3; Mon, 14 Apr 2014 10:44:47 -0700 Received: by mail-yh0-f61.google.com with SMTP id f73sf1927394yha.16 for ; Mon, 14 Apr 2014 10:44:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:message-id:subject:mime-version: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=q7dLter9p6ScpuLgt6lE18L4RxBuFgp69M5N2FNaJFY=; b=UfvsDb6uWVIJS3uOv0aKaeOm3mfqxu1rns3GdNMfGQ6V5oNi2qmrUVTmaRYhsRxOkb nL2CC1Uw7POeRAKPQhgn4fkvhXYYQCHH2ADB9yXitmyzlDCofYjt28TPT9WtYJtMcQnG iWG8TYAK8+EwiEPnBDyRE3JdchXL5s192Vrul7DCFBjvdvY/+MI/Hx7fo6rw92r/WFgU jPYbpSJSfxpArV8VO+mUsfwKoNaRaUP6oHeTGiC/OQLloPeupgCQQ35JMqU/q2yAMS8F yA/j6K41ZZCs607cNxVgYKnBLpU6AWRYMAGq7Bup2iXvY3fRFFNFJovqGOqLSrLhgAly c4kA== X-Received: by 10.50.30.66 with SMTP id q2mr451517igh.1.1397497471836; Mon, 14 Apr 2014 10:44:31 -0700 (PDT) X-BeenThere: bpfk-list@googlegroups.com Received: by 10.50.49.113 with SMTP id t17ls1855595ign.0.canary; Mon, 14 Apr 2014 10:44:31 -0700 (PDT) X-Received: by 10.43.141.196 with SMTP id jf4mr19448411icc.9.1397497471268; Mon, 14 Apr 2014 10:44:31 -0700 (PDT) Received: from mail-qc0-x231.google.com (mail-qc0-x231.google.com [2607:f8b0:400d:c01::231]) by gmr-mx.google.com with ESMTPS id p5si498123qcq.3.2014.04.14.10.44.31 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 14 Apr 2014 10:44:31 -0700 (PDT) Received-SPF: pass (google.com: domain of durka42@gmail.com designates 2607:f8b0:400d:c01::231 as permitted sender) client-ip=2607:f8b0:400d:c01::231; Received: by mail-qc0-f177.google.com with SMTP id w7so9079748qcr.8 for ; Mon, 14 Apr 2014 10:44:31 -0700 (PDT) X-Received: by 10.140.89.11 with SMTP id u11mr5779064qgd.93.1397497471165; Mon, 14 Apr 2014 10:44:31 -0700 (PDT) Received: from [158.130.109.40] (seas1318.wireless-pennnet.upenn.edu. [158.130.109.40]) by mx.google.com with ESMTPSA id b17sm1282083qaq.25.2014.04.14.10.44.29 for (version=TLSv1 cipher=RC4-SHA bits=128/128); Mon, 14 Apr 2014 10:44:30 -0700 (PDT) Date: Mon, 14 Apr 2014 13:44:47 -0400 From: Alex Burka To: bpfk-list@googlegroups.com Message-ID: <65681E0F06A2403AAC6713EF4CDA8A70@gmail.com> Subject: [bpfk] pi PA broda X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 X-Original-Sender: durka42@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of durka42@gmail.com designates 2607:f8b0:400d:c01::231 as permitted sender) smtp.mail=durka42@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=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: X-Google-Group-Id: 972099695765 List-Post: , List-Help: , List-Archive: Sender: bpfk-list@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary="534c1e8f_852a256_110" X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / Content-Length: 2177 --534c1e8f_852a256_110 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline Some irci prenu noticed that a definition for {pi PA broda} is missing from http://mw.lojban.org/index.php?title=BPFK_Section:_gadri#Formal_definitions (tiki link is analogous). We (Ilmen) assumed it is supposed to say piPA broda = lo piPA si'e be pa da poi broda but we didn't want to change it without asking someone. mu'o mi'e durka -- You received this message because you are subscribed to the Google Groups "BPFK" group. To unsubscribe from this group and stop receiving emails from it, send an email to bpfk-list+unsubscribe@googlegroups.com. To post to this group, send email to bpfk-list@googlegroups.com. Visit this group at http://groups.google.com/group/bpfk-list. For more options, visit https://groups.google.com/d/optout. --534c1e8f_852a256_110 Content-Type: text/html; charset=UTF-8 Content-Disposition: inline
Some irci prenu noticed that a definition for {pi PA broda} is missing from http://mw.lojban.org/index.php?title=BPFK_Section:_gadri#Formal_definitions (tiki link is analogous). We (Ilmen) assumed it is supposed to say

piPA broda  =  lo piPA si'e be pa da poi broda

but we didn't want to change it without asking someone.

mu'o mi'e durka

--
You received this message because you are subscribed to the Google Groups "BPFK" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bpfk-list+unsubscribe@googlegroups.com.
To post to this group, send email to bpfk-list@googlegroups.com.
Visit this group at http://groups.google.com/group/bpfk-list.
For more options, visit https://groups.google.com/d/optout.
--534c1e8f_852a256_110--