Version 3.0.1

(October 2019)

Bug Fix Release v3.0.1

General

Bug Fixes

  • The manuals are now installed by the installers on Linux.
  • Correction of the structure of the file result.json in section “Tutorials and Test Cases” of the system manuals.
  • Some Windows registry settings were put at incorrect locations by the Windows installer. In particular, the list of installed software provided by Windows did not include BASEMENT. This problem has been fixed. Note that existing installations are not automatically detected by the updated installer. Therefore uninstall BASEMENT v3.0.0 e.g. using the link in the start menu before installing the new version to update BASEMENT.
JavaScript has been disabled in your browser