misc tuning for release;
authorwenzelm
Wed Apr 08 23:00:09 2015 +0200 (2015-04-08)
changeset 59980070f04c94b2e
parent 59979 8a53364a3143
child 59981 0d0f9c66ff3f
child 59984 4f1eccec320c
misc tuning for release;
Admin/Release/CHECKLIST
CONTRIBUTORS
COPYRIGHT
     1.1 --- a/Admin/Release/CHECKLIST	Wed Apr 08 22:15:03 2015 +0200
     1.2 +++ b/Admin/Release/CHECKLIST	Wed Apr 08 23:00:09 2015 +0200
     1.3 @@ -18,8 +18,6 @@
     1.4  - check sources:
     1.5      isabelle java isabelle.Check_Source '~~' '$AFP_BASE'
     1.6  
     1.7 -- run isabelle update_keywords;
     1.8 -
     1.9  - check ANNOUNCE, README, NEWS, COPYRIGHT, CONTRIBUTORS;
    1.10  
    1.11  - check funny base directory, e.g. "Test 中国";
    1.12 @@ -54,8 +52,12 @@
    1.13  
    1.14  - Mac OS X: check app bundle with Retina display;
    1.15  
    1.16 +- Mac OS X: check recent MacTeX;
    1.17 +
    1.18  - Windows: check dpi scaling with high-definition display;
    1.19  
    1.20 +- Windows: check recent MiKTeX;
    1.21 +
    1.22  
    1.23  Repository fork
    1.24  ===============
    1.25 @@ -90,4 +92,3 @@
    1.26  ============
    1.27  
    1.28  - update /home/isabelle and /home/isabelle/html-data
    1.29 -
     2.1 --- a/CONTRIBUTORS	Wed Apr 08 22:15:03 2015 +0200
     2.2 +++ b/CONTRIBUTORS	Wed Apr 08 23:00:09 2015 +0200
     2.3 @@ -6,21 +6,24 @@
     2.4  Contributions to this Isabelle version
     2.5  --------------------------------------
     2.6  
     2.7 -* March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII, and Dmitriy Traytel, TUM
     2.8 +* March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII,
     2.9 +  and Dmitriy Traytel, TUM
    2.10    More multiset theorems, syntax, and operations.
    2.11  
    2.12 -* December 2014: Johannes Hölzl, Manuel Eberl, Sudeep Kanav, TUM and Jeremy Avigad, Luke Serafin, CMU
    2.13 -  Various integration theorems: mostly integration on intervals and substitution.
    2.14 +* December 2014: Johannes Hölzl, Manuel Eberl, Sudeep Kanav, TUM, and
    2.15 +  Jeremy Avigad, Luke Serafin, CMU
    2.16 +  Various integration theorems: mostly integration on intervals and
    2.17 +  substitution.
    2.18  
    2.19  * September 2014: Florian Haftmann, TUM
    2.20    Lexicographic order on functions and
    2.21    sum/product over function bodies.
    2.22  
    2.23  * August 2014: Andreas Lochbihler, ETH Zurich
    2.24 -  Test infrastructure for executing generated code in target langauges
    2.25 +  Test infrastructure for executing generated code in target languages.
    2.26  
    2.27  * August 2014: Manuel Eberl, TUM
    2.28 -  Generic euclidean algorithms for gcd et al.
    2.29 +  Generic euclidean algorithms for GCD et al.
    2.30  
    2.31  
    2.32  Contributions to Isabelle2014
     3.1 --- a/COPYRIGHT	Wed Apr 08 22:15:03 2015 +0200
     3.2 +++ b/COPYRIGHT	Wed Apr 08 23:00:09 2015 +0200
     3.3 @@ -1,6 +1,6 @@
     3.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     3.5  
     3.6 -Copyright (c) 1986-2014,
     3.7 +Copyright (c) 1986-2015,
     3.8    University of Cambridge,
     3.9    Technische Universitaet Muenchen,
    3.10    and contributors.