diff -r 7736b754b37f -r 508b4f6431ae CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Feb 10 22:32:29 2020 +0100
+++ b/CONTRIBUTORS	Mon Feb 10 22:33:03 2020 +0100
@@ -3,8 +3,11 @@
 listed as an author in one of the source files of this Isabelle distribution.
 
 
-Contributions to this Isabelle version
---------------------------------------
+Contributions to this Isabelle2020
+----------------------------------
+
+* 2019: Makarius Wenzel
+  More scalable Isabelle dump and underlying headless PIDE session.
 
 * December 2019:
   Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
@@ -13,6 +16,7 @@
 * October 2019: Maximilian Schäffeler
   Port of the HOL Light decision procedure for metric spaces.
 
+
 Contributions to Isabelle2019
 -----------------------------