# HG changeset patch
# User wenzelm
# Date 1428751300 -7200
# Node ID 0c307c5c03f0b4e3a13a8aa89f85126147ecba3d
# Parent  3eef7a43cd51ff1e77ab57c071f86f901e33149c
updated for release;

diff -r 3eef7a43cd51 -r 0c307c5c03f0 CONTRIBUTORS
--- a/CONTRIBUTORS	Sat Apr 11 13:12:57 2015 +0200
+++ b/CONTRIBUTORS	Sat Apr 11 13:21:40 2015 +0200
@@ -3,8 +3,8 @@
 who is listed as an author in one of the source files of this Isabelle
 distribution.
 
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2015
+-----------------------------
 
 * March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII,
   and Dmitriy Traytel, TUM