# HG changeset patch
# User blanchet
# Date 1477925307 -3600
# Node ID d4829dc875fb4f4bb1348b78ad96b01e9784ae14
# Parent  c381bfd068fd1de041ae1872c94123ef17e7e70c
moved contribution to right release

diff -r c381bfd068fd -r d4829dc875fb CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Oct 31 14:21:23 2016 +0100
+++ b/CONTRIBUTORS	Mon Oct 31 15:48:27 2016 +0100
@@ -52,6 +52,11 @@
   Tight Poly/ML integration.
   More Isabelle/Scala system programming modules (e.g. SSH, Mercurial).
 
+* Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy,
+  Ecole polytechnique, Andreas Lochbihler, ETH Zurich, Andrei Popescu,
+  Middlesex University, and Dmitriy Traytel, ETH Zurich
+  'corec' command and friends.
+
 * January 2016: Florian Haftmann, TUM
   Abolition of compound operators INFIMUM and SUPREMUM for complete lattices.
 
@@ -59,11 +64,6 @@
 Contributions to Isabelle2016
 -----------------------------
 
-* Winter 2016: Jasmin Blanchette, Inria & LORIA & MPII, Aymeric Bouzy,
-  Ecole polytechnique, Andreas Lochbihler, ETH Zurich, Andrei Popescu,
-  Middlesex University, and Dmitriy Traytel, ETH Zurich
-  'corec' command and friends.
-
 * Winter 2016: Manuel Eberl, TUM
   Support for real exponentiation ("powr") in the "approximation" method.
   (This was removed in Isabelle 2015 due to a changed definition of "powr".)