diff -r 6fb991dc074b -r 0e5d48096f58 CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Nov 05 09:07:14 2010 +0100
+++ b/CONTRIBUTORS	Fri Nov 05 14:17:18 2010 +0100
@@ -21,6 +21,9 @@
 * 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
 --------------------------------------