# HG changeset patch
# User wenzelm
# Date 1288981324 -3600
# Node ID 7ea01f842830f4fc85612ed03ddf46d4bf9fb495
# Parent  8809b6489667d7bbc6a45ba220fc761328f1e36d
proper spelling;
proper format;

diff -r 8809b6489667 -r 7ea01f842830 CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Nov 05 15:09:55 2010 +0100
+++ b/CONTRIBUTORS	Fri Nov 05 19:22:04 2010 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* October 2010: Bogdan Grechuk, University of Edinburgh
+  Extended convex analysis in Multivariate Analysis.
+
 * October 2010: Dmitriy Traytel, TUM
   Coercive subtyping via subtype constraints.
 
@@ -21,9 +24,6 @@
 * July 2010: Florian Haftmann, TUM
   Reworking and extension of the Imperative HOL framework.
 
-* October 2010: Bogdan Grechuck, University of Edinburgh
-  Extended convex analysis in Multivariate Analysis
-
 
 Contributions to Isabelle2009-2
 --------------------------------------