Received: from [192.168.123.254] (port=32952 helo=jukni.digitalkingdom.org)
	by stodi.digitalkingdom.org with smtp (Exim 4.92)
	(envelope-from <apache@digitalkingdom.org>)
	id 1jcWXP-00014R-1d
	for jbovlaste-admin@lojban.org; Sat, 23 May 2020 08:58:17 -0700
Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Sat, 23 May 2020 08:58:15 -0700
From: "Apache" <apache@digitalkingdom.org>
To: jbovlaste-admin@lojban.org
Reply-To: webmaster@lojban.org
Subject: [jvsw] Definition Edited At Word fanmo -- By HerpDerp
Date: Sat, 23 May 2020 08:58:12 -0700
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Message-Id: <E1jcWXP-00014R-1d@stodi.digitalkingdom.org>
X-Spam-Score: -2.9 (--)
X-Spam_score: -2.9
X-Spam_score_int: -28
X-Spam_bar: --



In jbovlaste, the user HerpDerp has edited a
definition of "fanmo" in the language "English".

Differences:

5,5c5,5
< 		$x_1$ is final/last/at the last; $x_1$ is a terminal/terminus of $x_2$; $x_1$ is the final/terminated state of terminated process $x_2$; $x_2$ terminates/ceases/stops/halts at $x_1$ (= {selfa'o} for reordered places).  See also {krasi}, {cfari}, {mulno}, {sisti}, {denpa}, {jipno}, {kojna}, {traji}, {krasi}.
---
> 		$x_1$ is final/last/at the last; $x_1$ is a terminal/terminus of $x_2$; $x_1$ is the final/terminated state of terminated process $x_2$; $x_2$ terminates/ceases/stops/halts at $x_1$ (= {selfa'o} for reordered places).  See also {krasi}, {cfari}, {mulno}, {sisti}, {denpa}, {jipno}, {kojna}, {traji}.


Old Data:

	Definition:
		$x_{1}$ is an end/finish/termination of thing/process $x_{2}$; [not necessarily implying completeness].

	Notes:
		$x_1$ is final/last/at the last; $x_1$ is a terminal/terminus of $x_2$; $x_1$ is the final/terminated state of terminated process $x_2$; $x_2$ terminates/ceases/stops/halts at $x_1$ (= {selfa'o} for reordered places).  See also {krasi}, {cfari}, {mulno}, {sisti}, {denpa}, {jipno}, {kojna}, {traji}, {krasi}.

	Jargon:
		

	Gloss Keywords:
		Word: end, In Sense: 

	Place Keywords:



New Data:

	Definition:
		$x_{1}$ is an end/finish/termination of thing/process $x_{2}$; [not necessarily implying completeness].

	Notes:
		$x_1$ is final/last/at the last; $x_1$ is a terminal/terminus of $x_2$; $x_1$ is the final/terminated state of terminated process $x_2$; $x_2$ terminates/ceases/stops/halts at $x_1$ (= {selfa'o} for reordered places).  See also {krasi}, {cfari}, {mulno}, {sisti}, {denpa}, {jipno}, {kojna}, {traji}.

	Jargon:
		

	Gloss Keywords:
		Word: end, In Sense: 

	Place Keywords:




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