--- a/CONTRIBUTORS Sun Jan 20 14:05:37 2013 +0100
+++ b/CONTRIBUTORS Sun Jan 20 15:26:56 2013 +0100
@@ -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 Isabelle2013
+-----------------------------
* 2012: Makarius Wenzel, Université Paris-Sud / LRI
Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
--- a/NEWS Sun Jan 20 14:05:37 2013 +0100
+++ b/NEWS Sun Jan 20 15:26:56 2013 +0100
@@ -1,8 +1,8 @@
Isabelle NEWS -- history user-relevant changes
==============================================
-New in this Isabelle version
-----------------------------
+New in Isabelle2013 (February 2013)
+-----------------------------------
*** General ***