CONTRIBUTORS

--- a/CONTRIBUTORS	Tue Feb 25 17:37:22 2020 +0100
+++ b/CONTRIBUTORS	Tue Feb 25 18:30:08 2020 +0100
@@ -17,6 +17,9 @@
   Traytel
   Extension of lift_bnf to support quotient types.
 
+* November 2019: Peter Zeller, TU Kaiserslautern
+  Update of Isabelle/VSCode to WebviewPanel API.
+
 * October..December 2019: Makarius Wenzel
   Isabelle/Phabrictor server setup, including Linux platform support in
   Isabelle/Scala. Client-side tool "isabelle hg_setup".