--- a/CONTRIBUTORS Thu Oct 03 16:32:33 2013 +0200
+++ b/CONTRIBUTORS Thu Oct 03 19:01:10 2013 +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 Isabelle2013-1
-------------------------------
--- a/NEWS Thu Oct 03 16:32:33 2013 +0200
+++ b/NEWS Thu Oct 03 19:01:10 2013 +0200
@@ -1,6 +1,11 @@
Isabelle NEWS -- history user-relevant changes
==============================================
+New in this Isabelle version
+----------------------------
+
+
+
New in Isabelle2013-1 (November 2013)
-------------------------------------