Return-path: <apache@lojban.org>
Envelope-to: jbovlaste-admin@lojban.org
Delivery-date: Tue, 31 May 2022 20:14:26 -0700
Received: from [192.168.123.254] (port=59942 helo=jiten.lojban.org)
	by d05c5d92ccf2 with smtp (Exim 4.94.2)
	(envelope-from <apache@lojban.org>)
	id 1nwEoR-001Ywy-SP
	for jbovlaste-admin@lojban.org; Tue, 31 May 2022 20:14:26 -0700
Received: by jiten.lojban.org (sSMTP sendmail emulation); Wed, 01 Jun 2022 03:14:23 +0000
From: "Apache" <apache@lojban.org>
To: varikvalefor@rape.lol
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word lojysra -- By varikvalefor
Date: Wed, 1 Jun 2022 03:14:23 +0000
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Message-Id: <E1nwEoR-001Ywy-SP@d05c5d92ccf2>
X-Spam-Score: -2.9 (--)
X-Spam_score: -2.9
X-Spam_score_int: -28
X-Spam_bar: --



In jbovlaste, the user varikvalefor has edited a
definition of "lojysra" in the language "English".

Differences:

2,2c2,2
< 		$x_1$ proves theorem $x_2$ and involves logical/knowledge domains $x_3$.
---
> 		$x_1$, which is a document/spoken thing/whatever, proves theorem $x_2$ and involves logical/knowledge domains $x_3$.


Old Data:

	Definition:
		$x_1$ proves theorem $x_2$ and involves logical/knowledge domains $x_3$.

	Notes:
		

	Jargon:
		logic

	Gloss Keywords:
		Word: proof, In Sense: formal proof

	Place Keywords:



New Data:

	Definition:
		$x_1$, which is a document/spoken thing/whatever, proves theorem $x_2$ and involves logical/knowledge domains $x_3$.

	Notes:
		

	Jargon:
		logic

	Gloss Keywords:
		Word: proof, In Sense: formal proof

	Place Keywords:




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