[statet-users] [Ann] StatET 4.0.2 Release

[Stephan Wahlbrink <sw@xxxxxxxxxxxx>]

Dear StatET users,

I am pleased to announce StatET 4.0.2, a maintenance release providing bug 
fixes and minor enhancements.

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

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 following update site, which 
provides always the latest release for Eclipse 2018-12:
https://download.eclipse.org/statet/releases/4.0/E201812

For other download options, please check the download page:
https://www.eclipse.org/statet/downloads/4.0.php

Regards,
Stephan