These steps were taken to uninstall the current version and use a somewhat older stable version, i.e. 8.0.0, to check leash(-all).
Current version installed:
SWI-Prolog (threaded, 64 bits, version 8.5.0-49-g2f46def0c)
To find an older stable version there is a link to the directory in
Install SWI-Prolog development version on Windows 10
after the install instructions.
For older versions there are
HTML pages
current stable version
older stable versionsand directories
Index of /download/stable/bin
Index of /download/devel/bin
- Index of /download/stable/bin was clicked.
Then searched for 8.0 as a 64-bit executable and found
swipl-8.0.0-1.x64.exe Mon Jan 14 02:31:08 2019 12,087,703
- Download swipl-8.0.0-1.x64.exe
- Doubled clicked on swipl-8.0.0-1.x64.exe
MS dialog appeared
4. Clicked
Install anyway
User Account Control dialog appeared
5. Clicked Yes
Then the dialog with the wrong version appeared.
Note. There are two versions noted in the dialog
- The one at the top that is correct.
SWI-Prolog 8.0.0 Setup - The one in the message that is incorrect.
SWI-Prolog 8.0.0 is already installed.
As noted at the start, only 8.5.0-49-g2f46def0c is installed.
I don’t expect this to be fixed, was just noting in case others see it. 