--- a/NEWS Sat Mar 30 01:08:25 2024 +0100+++ b/NEWS Sat Mar 30 01:12:48 2024 +0100@@ -279,6 +279,8 @@ * Update to OpenJDK 21: the current long-term support version of Java.+* Isabelle/Scala now has some support for web-apps, using HTML 5 forms.+ New in Isabelle2023 (September 2023)