corrected proof completion

Corrected proof completion (and fixed zombie proof windows)

Version 9.1.6(a) contained a new treatment of proof recording, which was flawed: it generated confusing error messages, which had to be ignored. This version corrects that problem, and incorporates (for Windows users) 9.1.7. 9.1.8 allowed zombie proof windows, which wouldn't close. And then 9.1.8a's 'Done' button (in the Edit menu) didn't work. I apologise for making so many slips. Those earlier versions are now withdrawn, and 9.1.8b is it.

---

• Windows: download JapeInstall_9.1.8b.exe; put it where you want to keep Jape's examples folder; double-click it. It will install Jape and leave you with an examples folder and a shortcut: drag the shortcut to your desktop, and double-click it to run Jape. You can delete the installer once everything is working.

• Linux:

  • either download LinuxJape_9.1.8b.tgz; put it somewhere in your home directory, in the place where you want to keep Jape's examples folder; double-click it. It will produce a directory called LinuxJape, containing README_INSTALL.html. Open README_INSTALL.htmland follow the instructions. You can delete the installer once everything is working.
  • or (if you aren't running Ubuntu, and/or the LinuxJape install doesn't work for you) download FlatpakJape_9.1.8b.tgz; put it somewhere in your home directory, near where you want to keep Jape's examples folder; double-click it. It will produce a directory called FlatpakJape containing README_INSTALL_FLATPAKJAPE.html. Open README_INSTALL_FLATPAKJAPE.html and follow the instructions. You can delete the installer once everything is working.

• MacOS: if you have an Intel Mac, download jape_9.1.8b.dmg; if you have a M1/M2/... Mac, download jape_9.1.8b for Apple silicon.dmg; open the .dmg; open README.html and follow the instructions. Be especially careful not to install anything in Desktop, Downloads, Documents or Library: Apple is fussy about that. Delete the .dmg once you've finished, if you like.

Richard Bornat 2023/10/31

with Access Bridge fix

withdrawn

Unification bug fixed; and no more slow proof downloads

withdrawn

Minor unification bug fixed

withdrawn

with a fix for provisos in saved proofs, and a flatpak build

There was a problem with saved proofs where a spurious proviso could be generated. It only happened, so far as I'm aware, in the Aristotlean syllogisms encoding.

With the help of Timo Triebensky (see his github page here) I've managed to build a Flatpak installer for those Linux users who can't install the Ubuntu version.

The MacOS version now warns you if you put the examples folder in an obvious wrong place, and tells you what to do about it.

---

• Windows: download JapeInstall_9.1.4b.exe; put it where you want to keep Jape's examples folder; double-click it. It will install Jape and leave you with an examples folder and a shortcut: drag the shortcut to your desktop, and double-click it to run Jape. You can delete the installer once everything is working.

• Linux:

  • either download LinuxJape_9.1.4.tgz; put it somewhere in your home directory, in the place where you want to keep Jape's examples folder; double-click it. It will produce a directory called LinuxJape, containing README_INSTALL.html. Open README_INSTALL.htmland follow the instructions. You can delete the installer once everything is working.
  • or (if you aren't running Ubuntu, and the LinuxJape install doesn't work for you) download FlatpakJape_9.1.4c.tgz; put it somewhere in your home directory, near where you want to keep Jape's examples folder; double-click it. It will produce a directory called FlatpakJape containing README_INSTALL_FLATPAKJAPE.html. Open README_INSTALL_FLATPAKJAPE.html and follow the instructions. You can delete the installer once everything is working.

• MacOS: download jape_9.1.4d.dmg (or, if you have a lovely new M1/M2/... Mac, jape_9.1.4d for Apple silicon.dmg); open it; open README.html and follow the instructions. Be especially careful not to install anything in Desktop, Downloads, Documents or Library: Apple is fussy about that. Delete the .dmg once you've finished, if you like.

Richard Bornat 2022/10/19

Misplaced OK and Cancel buttons in text command, new conjecture windows fixed in Linux and Windows

The OK and Cancel buttons weren't properly rendered in the Text Command and New Conjecture windows (they were halfway off the bottom of the window) in Linux and Windows. Thanks to Cagdas94 for the bug report. They were properly rendered on MacOS, so it looks like a Java bug. I've brutally patched it anyway.

For old users: this release supersedes previous 9.1.* and 9.0*. releases. It even makes the Text Command window a little prettier on MacOS.

• Windows: download JapeInstall_9.1.3.exe; put it where you want to keep Jape's examples folder; double-click it. It will install Jape and leave you with an examples folder and a shortcut: drag the shortcut to your desktop, and double-click it to run Jape. You can delete the installer once everything is working.

• Linux: download LinuxJape_9.1.3.tgz; put it somewhere in your home files, in the place where you want to keep Jape's examples folder; double-click it. It will produce a directory called LinuxJape, containing installJape.sh, README_INSTALL.html. Open README_INSTALL.htmland follow the instructions. You can delete the installer once everything is working.

• MacOS: download jape_9.1.3.dmg (or, if you have a lovely new M1 Mac, jape_9.1.3 for Apple silicon.dmg); open it; open README.html and follow the instructions. Be especially careful not to install anything on the Desktop: Apple is fussy about that. Delete the .dmg once you've finished, if you like.

Richard Bornat 2021/11/02

with a fix for proof engine crash when displaying proofs

For new users: this is a standalone issue of Jape, which does not require you to download a Java. It comes with enough Java bits included.

For old users: this release supersedes previous 9.1.* and 9.0*. releases, because now I've definitely fixed a bug in proof display which would crash under certain circumstances. I recommend you use this release. (Thanks to Heinz-Peter Gumm of Marburg for telling me about the bug; sorry to Christian Muise and Erin Atacan who had to tell me I hadn't fixed it after all.)

• Windows: download JapeInstall_9.1.2.exe; put it where you want to keep Jape's examples folder; double-click it. It will install Jape and leave you with an examples folder and a shortcut: drag the shortcut to your desktop, and double-click it to run Jape. You can delete JapeInstall_9.1.2.exe once everything is working.

• Linux: download LinuxJape_9.1.2.tgz; put it somewhere in your home files, in the place where you want to keep Jape's examples folder; double-click it. It will produce a directory called LinuxJape, containing installJape.sh, README_INSTALL.html. Open README_INSTALL.htmland follow the instructions. You can delete LinuxJape_9.1.2.tgz once everything is working.

• MacOS: download jape_9.1.2.dmg (or, if you have a lovely new M1 Mac, jape_9.1.2 for Apple silicon.dmg); open it; open README.html and follow the instructions. Be especially careful not to install anything on the Desktop: Apple is fussy about that.

Richard Bornat 2021/10/22

Withdrawn: use 9.1.2

9.1.1

with a fix for the bug that crashed proof of =-I in sets encoding

For new users

9.1.0 is withdrawn: 9.1.1 has a bug fix.

9.0.12b

9.0.12 for MacOS (there were problems running jape in Big Sur, and maybe other places)