--- 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)