From: "Apache" <apache@digitalkingdom.org>
Date: Sun, 06 Sep 2015 12:04:20 -0700
To: webmaster@lojban.org, curtis289@att.net, jammyatjammy@gmail.com
Subject: [jvsw] Definition Edited At Word ctaipe -- By mudri
Bcc: jbovlaste-admin@lojban.org
Message-ID: <55ec8e34.iguhXDf4+hzdKUEq%webmaster@lojban.org>
User-Agent: Heirloom mailx 12.5 7/5/10
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Spam_score: 0.5
X-Spam_score_int: 5
X-Spam_bar: /
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 
 Content preview:  In jbovlaste, the user mudri has edited a definition of "ctaipe"
    in the language "English". Differences: 2,2c2,2 < $x_1$ is a value/proof
   of type/proposition $x_2$ in {type/logical} system $x_3$ --- > $x_1$ is a
   value/proof of type/proposition $x_2$ in (type/logical) system $x_3$ [...]
    
 
 Content analysis details:   (0.5 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 URIBL_BLOCKED          ADMINISTRATOR NOTICE: The query to URIBL was blocked.
                             See
                             http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block
                              for more information.
                             [URIs: lojban.org]
  1.4 RCVD_IN_BRBL_LASTEXT   RBL: No description available.
                             [173.13.139.235 listed in bb.barracudacentral.org]
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
                             [score: 0.0059]
  1.0 RDNS_DYNAMIC           Delivered to internal network by host with
                             dynamic-looking rDNS


In jbovlaste, the user mudri has edited a
definition of "ctaipe" in the language "English".

Differences:

2,2c2,2
< 		$x_1$ is a value/proof of type/proposition $x_2$ in {type/logical} system $x_3$
---
> 		$x_1$ is a value/proof of type/proposition $x_2$ in (type/logical) system $x_3$


Old Data:

	Definition:
		$x_1$ is a value/proof of type/proposition $x_2$ in {type/logical} system $x_3$

	Notes:
		A better definition; proposed by la .mudri.

	Jargon:
		

	Gloss Keywords:
		Word: type, In Sense: type theory

	Place Keywords:


New Data:

	Definition:
		$x_1$ is a value/proof of type/proposition $x_2$ in (type/logical) system $x_3$

	Notes:
		A better definition; proposed by la .mudri.

	Jargon:
		

	Gloss Keywords:
		Word: type, In Sense: type theory

	Place Keywords:


You can go to <http://jbovlaste.lojban.org/dict/ctaipe> to see it.