On Tue, Feb 25, 2025 at 6:09 PM Riccardo (Jack) Lucchetti
<p002264(a)staff.univpm.it> wrote:
On 25/02/2025 23:25, Sven Schreiber wrote:
> Hi all,
>
> since "empty" has been a keyword for a while (as in: 'bundle B =
> empty'), I'm wondering when it was introduced? I cannot find it in the
> changelog.
>
from "git log":
commit bd1d76c267339c3be851428160376dd4a5bd5e76
Author: Allin Cottrell <cottrell(a)wfu.edu>
Date: Thu May 18 10:56:06 2023 -0400
try adding "empty" as an initializer
Therefore, I reckon that "empty" should have been there since version
2023b (out in July 2023)
I agree. There's another git log entry, 'register "empty" as a
reserved word in hansl' which predates the 2023b release (July 27).
Allin