# HG changeset patch
# User wenzelm
# Date 1581432100 -3600
# Node ID 8fd1936490bc7014bbcbcdf021f480877ceebb09
# Parent  2e1b0ee920f5cc6544245bc2c1fb3f50adc1a2f6
tuned;

diff -r 2e1b0ee920f5 -r 8fd1936490bc CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Feb 11 15:39:05 2020 +0100
+++ b/CONTRIBUTORS	Tue Feb 11 15:41:40 2020 +0100
@@ -6,8 +6,12 @@
 Contributions to this Isabelle2020
 ----------------------------------
 
-* 2019: Makarius Wenzel
-  More scalable Isabelle dump and underlying headless PIDE session.
+* February 2020: E. Gunther, M. Pagano and P. Sánchez Terraf
+  Simplified, generalised version of ZF/Constructible.
+
+* January 2020: LC Paulson
+  The full finite Ramsey's theorem and elements of finite and infinite
+  Ramsey theory.
 
 * December 2019:
   Basil Fürer, Andreas Lochbihler, Joshua Schneider, Dmitriy Traytel
@@ -16,19 +20,14 @@
 * October 2019: Maximilian Schäffeler
   Port of the HOL Light decision procedure for metric spaces.
 
-* January 2020: LC Paulson
-  The full finite Ramsey's theorem and elements of finite and infinite 
-  Ramsey theory.
-
-* February 2020: E. Gunther, M. Pagano and P. Sánchez Terraf
-  Simplified, generalised version of ZF/Constructible.
+* October 2019: Makarius Wenzel
+  More scalable Isabelle dump and underlying headless PIDE session.
 
 * July 2019: Alexander Krauss, Makarius Wenzel
   Minimal support for a soft-type system within the Isabelle logical
   framework.
 
 
-
 Contributions to Isabelle2019
 -----------------------------