# HG changeset patch
# User wenzelm
# Date 1504891903 -7200
# Node ID e9d8ff531700c7c19ea6f9c1315c06015f95d2b8
# Parent  6666fced78ccf0d61dd7fbc6665a8715c033c2dd
tuned;

diff -r 6666fced78cc -r e9d8ff531700 CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Sep 08 19:26:28 2017 +0200
+++ b/CONTRIBUTORS	Fri Sep 08 19:31:43 2017 +0200
@@ -6,6 +6,12 @@
 Contributions to Isabelle2017
 -----------------------------
 
+* September 2017: Lawrence Paulson
+  HOL-Analysis, e.g. simplicial complexes, Jordan Curve Theorem.
+
+* September 2017: Jasmin Blanchette
+  Further integration of Nunchaku model finder.
+
 * November 2016 - June 2017: Makarius Wenzel
   New Isabelle/VSCode, with underlying restructuring of Isabelle/PIDE.
 
@@ -14,12 +20,6 @@
   Prover IDE improvements.
   Support for SQL databases in Isabelle/Scala: SQLite and PostgreSQL.
 
-* September 2017: Jasmin Blanchette
-  Further integration of Nunchaku model finder.
-
-* September 2017: Lawrence Paulson
-  HOL-Analysis, e.g., simplicial complexes, Jordan Curve Theorem.
-
 * August 2017: Andreas Lochbihler, ETH Zurich
   type of unordered pairs (HOL-Library.Uprod)