1.1 --- a/CONTRIBUTORS Tue Jan 11 19:55:34 2011 +0100
1.2 +++ b/CONTRIBUTORS Tue Jan 11 20:01:57 2011 +0100
1.3 @@ -3,8 +3,8 @@
1.4 who is listed as an author in one of the source files of this Isabelle
1.5 distribution.
1.6
1.7 -Contributions to this Isabelle version
1.8 ---------------------------------------
1.9 +Contributions to Isabelle2011
1.10 +-----------------------------
1.11
1.12 * October 2010: Bogdan Grechuk, University of Edinburgh
1.13 Extended convex analysis in Multivariate Analysis.
1.14 @@ -26,7 +26,7 @@
1.15
1.16
1.17 Contributions to Isabelle2009-2
1.18 ---------------------------------------
1.19 +-------------------------------
1.20
1.21 * 2009/2010: Stefan Berghofer, Alexander Krauss, and Andreas Schropp, TUM,
1.22 Makarius Wenzel, TUM / LRI