Runtime system and front-end compatibility

For better compatibility and GUI related bug fixes, use front-end and runtime system with the equivalent version number.

Graphical User Interface new features and bug fixes usually require modifications inside the runtime system and front-ends.

When upgrading the runtime system to the latest version, we strongly recommend that you upgrade to the latest front-end version as well. For example, when upgrading to a runtime system 4.00.xx, upgrade front-ends to the latest available 4.00.xx version.