Update for StatET 4.2.3 release
Signed-off-by: Stephan Wahlbrink <sw@wahlbrink.eu>
diff --git a/downloads/4.2.html b/downloads/4.2.html
index fdb8bc2..9fb6508 100644
--- a/downloads/4.2.html
+++ b/downloads/4.2.html
@@ -39,6 +39,46 @@
<tr class="section"><td colspan="3" style="height: 10px"/></tr>
<tr class="section">
+ <td id="statet-4.2.3" colspan="4">
+ <h3>StatET 4.2.3 <small>(202102110600-r)</small></h3>
+ <p>2021-02-11
+ | <a href="https://projects.eclipse.org/projects/science.statet/releases/4.2.3">Release Record</a>
+ | <a href="https://download.eclipse.org/statet/releases/4.2.3">Files Directory</a>
+ </p>
+ </td>
+ </tr>
+ <tr class="header">
+ <th/>
+ <th>For</th>
+ <th>Address / Download</th>
+ <th>Size</th>
+ </tr>
+ <tr>
+ <td class="title">Update Site</td>
+ <td class="content"><a href="/downloads/packages/release/2020-06/r">Eclipse 2020-06</a></td>
+ <td class="content"><code>https://download.eclipse.org/statet/releases/4.2.3/E202006</code></td>
+ <td/>
+ </tr>
+ <tr>
+ <td class="title">Archive of Update Site</td>
+ <td class="content"><a href="/downloads/packages/release/2020-06/r">Eclipse 2020-06</a></td>
+ <td class="content"><a href="/downloads/download.php?file=/statet/releases/4.2.3/statet-repository-E202006-incubation-4.2.3-202102110600-r.zip">statet-repository-E202006-incubation-4.2.3-202102110600-r.zip</a></td>
+ <td class="content" style="text-align: right">32.1 MB</td>
+ </tr>
+ <tr>
+ <td class="title">R-Help Server</td>
+ <td/>
+ <td class="content"><a href="/downloads/download.php?file=/statet/releases/4.2.3/statet-rhelpserver-incubation-4.2.3-202102110600-r.zip">statet-rhelpserver-incubation-4.2.3-202102110600-r.zip</a></td>
+ <td class="content" style="text-align: right">30.83 MB</td>
+ </tr>
+ <tr>
+ <td class="title">Libraries for Console Servers</td>
+ <td/>
+ <td class="content"><a href="/downloads/download.php?file=/statet/releases/4.2.3/statet-consoleserver-incubation-4.2.3-202102110600-r.tar.gz">statet-consoleserver-incubation-4.2.3-202102110600-r.tar.gz</a></td>
+ <td class="content" style="text-align: right">0.61 MB</td>
+ </tr>
+
+ <tr class="section">
<td id="statet-4.2.2" colspan="4">
<h3>StatET 4.2.2 <small>(202012310600-r)</small></h3>
<p>2020-12-31
