--- a/CONTRIBUTORS Sun Apr 19 19:46:44 2015 +0200
+++ b/CONTRIBUTORS Sun Apr 19 21:26:50 2015 +0200
@@ -3,6 +3,10 @@
who is listed as an author in one of the source files of this Isabelle
distribution.
+Contributions to this Isabelle version
+--------------------------------------
+
+
Contributions to Isabelle2015
-----------------------------
--- a/NEWS Sun Apr 19 19:46:44 2015 +0200
+++ b/NEWS Sun Apr 19 21:26:50 2015 +0200
@@ -3,6 +3,10 @@
(Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
+New in this Isabelle version
+----------------------------
+
+
New in Isabelle2015 (May 2015)
------------------------------