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