| <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
| <html xmlns="http://www.w3.org/1999/xhtml"> |
| <head> |
| |
| <meta name="copyright" content="Copyright (c) Eclipse contributors and others 2018, 2021."/> |
| <meta http-equiv="Content-Language" content="en-us"/> |
| <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> |
| <title>StatET Downloads</title> |
| |
| </head> |
| <body> |
| |
| <h1>Downloads</h1> |
| |
| <h2>Releases</h2> |
| |
| <table class="statet-grid"> |
| <colgroup> |
| <col class="title" style="width: 100px;" /> |
| <col /> |
| <col /> |
| <col /> |
| </colgroup> |
| <tbody> |
| <tr class="header"> |
| <th></th> |
| <th>For</th> |
| </tr> |
| <tr class="latest"> |
| <td class="title"><a href="4.5.php">StatET 4.5</a></td> |
| <td>Eclipse IDE 2021-12</td> |
| </tr> |
| <tr> |
| <td class="title"><a href="4.5.php">StatET 4.4</a></td> |
| <td>Eclipse IDE 2021-06</td> |
| </tr> |
| <tr> |
| <td class="title"><a href="4.5.php">StatET 4.3</a></td> |
| <td>Eclipse IDE 2020-12</td> |
| </tr> |
| <tr> |
| <td class="title"><a href="4.5.php">StatET 4.2</a></td> |
| <td>Eclipse IDE 2020-06</td> |
| </tr> |
| <tr> |
| <td class="title"><a href="4.5.php">StatET 4.1</a></td> |
| <td>Eclipse IDE 2019-12</td> |
| </tr> |
| <tr> |
| <td class="title"><a href="4.5.php">StatET 4.0</a></td> |
| <td>Eclipse IDE 2018-12</td> |
| </tr> |
| </tbody> |
| </table> |
| |
| </body> |
| </html> |