Bibi v0.3.1

Bibi v0.3.1 — delete, and a tidy-up

A small release on top of v0.3. One new way to say something you could
already say, and a round of corrections behind the scenes.

New since v0.3

• delete now works anywhere remove does. They are the same
  command under two names, so delete 2 and remove 2 do the same
  thing. Whichever you type is the one Bibi uses when it answers: ask
  for delete without a number and it says so in those words, rather
  than pointing you at a command you did not type. Capitalization does
  not matter, and undo reverses either.

Fixed

• The command summary in the user guide rendered with a broken row on
  the published site.
• The help listing put the removal entry out of line with every other
  command above and below it.

Unchanged

Everything else behaves exactly as in v0.3, and save files from v0.2 and
v0.3 load without conversion.

Running it

Java 25 required. Put the JAR in a folder of its own and run:

java -jar bibi.jar

For the text interface:

java -cp bibi.jar bibi.Bibi

The JAR bundles graphics libraries for Windows, Linux (x86-64) and Apple
Silicon macOS. On an Intel Mac the window will not open — use the text
interface, which needs no graphics libraries.