--- a/CONTRIBUTORS Sun Jul 27 15:29:42 2014 +0200
+++ b/CONTRIBUTORS Sun Jul 27 15:44:08 2014 +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 Isabelle2014
-----------------------------
--- a/NEWS Sun Jul 27 15:29:42 2014 +0200
+++ b/NEWS Sun Jul 27 15:44:08 2014 +0200
@@ -1,6 +1,11 @@
Isabelle NEWS -- history of user-relevant changes
=================================================
+New in this Isabelle version
+----------------------------
+
+
+
New in Isabelle2014 (August 2014)
---------------------------------