Uninstalling the previous Proof Server version (only on a non-English OS) fails with:
""goto"" can not be processed syntactically at this point" (usually in the local language).
Symptoms
Uninstalling the previous Proof Server version (only on a non-English OS) fails with:
""goto" can not be processed syntactically at this point" (usually in the local language, f.i. ""goto" kann syntaktisch an dieser Stelle nicht verarbeitet werden" on a German OS):
As uninstalling the previous version is a prerequisite to install the new version, you cannot install the Proof Server upgrade.
Solution
This issue is fixed in Proof Server version 18.1 (Q2 2019 Release).
Workaround
Uninstall the previous Proof Server version using the default Windows OS Programs and Features (or similar) in the Control Panel.