NEWS

--- a/NEWS	Tue Feb 25 17:37:22 2020 +0100
+++ b/NEWS	Tue Feb 25 18:30:08 2020 +0100
@@ -65,6 +65,11 @@
 * Support more brackets: \<llangle> \<rrangle> (intended for implicit argument syntax).
 
 
+*** Isabelle/VSCode Prover IDE ***
+
+* Update to WebviewPanel API.
+
+
 *** HOL ***
 
 * Improvements of the 'lift_bnf' command: