This release provides several improvements, especially:
- Improve SSH support for remote consoles
The target platform of StatET 4.7.0 is the Eclipse IDE 2022-12.
See also: Issues at GitLab
This release provides several improvements, especially:
The target platform of StatET 4.7.0 is the Eclipse IDE 2022-12.
See also: Issues at GitLab