# HG changeset patch
# User wenzelm
# Date 1671658521 -3600
# Node ID e8ad377e1184facf1968a4daffa4569902236a02
# Parent  b4a9c907e062cc28d797fe4671912d1be90aa503
NEWS;

diff -r b4a9c907e062 -r e8ad377e1184 NEWS
--- a/NEWS	Wed Dec 21 22:11:16 2022 +0100
+++ b/NEWS	Wed Dec 21 22:35:21 2022 +0100
@@ -18,6 +18,9 @@
   - Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics"
   - Springer LaTeX LNCS style as session "Demo_LLNCS" / doc "demo_llncs"
 
+* Support for interactive document preparation in PIDE, notably via the
+Isabelle/jEdit Document panel.
+
 
 *** HOL ***