Skip to main content
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[statet-users] [Ann] StatET 4.0.1 Release 
Dear StatET users,
I am pleased to announce StatET 4.0.1, a maintenance release providing bug fixes and minor enhancements. 

https://projects.eclipse.org/projects/science.statet/releases/4.0.1

For news and general information about StatET 4.0 please see:
https://www.eclipse.org/lists/statet-users/msg00012.html
https://projects.eclipse.org/projects/science.statet/releases/4.0.0

To install the new version, you can use the update site:
https://download.eclipse.org/statet/releases/4.0/E201812
(this update site always links to the latest 4.0.x release)

For other download options, please check the project's download page:
https://projects.eclipse.org/projects/science.statet/downloads


Regards,
Stephan

Back to the top