# HG changeset patch
# User wenzelm
# Date 1358692016 -3600
# Node ID 2c3d0cb151c07469f16e5524bd175ea4a52785a7
# Parent  c633700b2d9fe8879e735f68d1c3e8a7fc5532ab
updated for release;

diff -r c633700b2d9f -r 2c3d0cb151c0 CONTRIBUTORS
--- 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.
diff -r c633700b2d9f -r 2c3d0cb151c0 NEWS
--- 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 ***