# HG changeset patch
# User wenzelm
# Date 1428526809 -7200
# Node ID 070f04c94b2e469bbe68424cd29bd1e709e0e220
# Parent  8a53364a3143f08cb6a268c2d1503a6de2265bcc
misc tuning for release;

diff -r 8a53364a3143 -r 070f04c94b2e Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Wed Apr 08 22:15:03 2015 +0200
+++ b/Admin/Release/CHECKLIST	Wed Apr 08 23:00:09 2015 +0200
@@ -18,8 +18,6 @@
 - check sources:
     isabelle java isabelle.Check_Source '~~' '$AFP_BASE'
 
-- run isabelle update_keywords;
-
 - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
 
 - check funny base directory, e.g. "Test 中国";
@@ -54,8 +52,12 @@
 
 - Mac OS X: check app bundle with Retina display;
 
+- Mac OS X: check recent MacTeX;
+
 - Windows: check dpi scaling with high-definition display;
 
+- Windows: check recent MiKTeX;
+
 
 Repository fork
 ===============
@@ -90,4 +92,3 @@
 ============
 
 - update /home/isabelle and /home/isabelle/html-data
-
diff -r 8a53364a3143 -r 070f04c94b2e CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Apr 08 22:15:03 2015 +0200
+++ b/CONTRIBUTORS	Wed Apr 08 23:00:09 2015 +0200
@@ -6,21 +6,24 @@
 Contributions to this Isabelle version
 --------------------------------------
 
-* March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII, and Dmitriy Traytel, TUM
+* March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII,
+  and Dmitriy Traytel, TUM
   More multiset theorems, syntax, and operations.
 
-* December 2014: Johannes Hölzl, Manuel Eberl, Sudeep Kanav, TUM and Jeremy Avigad, Luke Serafin, CMU
-  Various integration theorems: mostly integration on intervals and substitution.
+* December 2014: Johannes Hölzl, Manuel Eberl, Sudeep Kanav, TUM, and
+  Jeremy Avigad, Luke Serafin, CMU
+  Various integration theorems: mostly integration on intervals and
+  substitution.
 
 * September 2014: Florian Haftmann, TUM
   Lexicographic order on functions and
   sum/product over function bodies.
 
 * August 2014: Andreas Lochbihler, ETH Zurich
-  Test infrastructure for executing generated code in target langauges
+  Test infrastructure for executing generated code in target languages.
 
 * August 2014: Manuel Eberl, TUM
-  Generic euclidean algorithms for gcd et al.
+  Generic euclidean algorithms for GCD et al.
 
 
 Contributions to Isabelle2014
diff -r 8a53364a3143 -r 070f04c94b2e COPYRIGHT
--- a/COPYRIGHT	Wed Apr 08 22:15:03 2015 +0200
+++ b/COPYRIGHT	Wed Apr 08 23:00:09 2015 +0200
@@ -1,6 +1,6 @@
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
-Copyright (c) 1986-2014,
+Copyright (c) 1986-2015,
   University of Cambridge,
   Technische Universitaet Muenchen,
   and contributors.