--- 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
-
--- 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
--- 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.