Skip to content

corrected proof completion

Latest
Latest

Choose a tag to compare

View all tags
@RBornat RBornat released this 10 Oct 14:01
· 13 commits to master since this release
9.1.8
da87229

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

Assets 2
Loading