updated for release;
authorwenzelm
Wed Jun 06 11:49:16 2018 +0200 (11 months ago)
changeset 683919b4f60bdad54
parent 68390 c558a2202f32
child 68392 b2510432c94d
updated for release;
tuned;
ANNOUNCE
CONTRIBUTORS
COPYRIGHT
NEWS
     1.1 --- a/ANNOUNCE	Wed Jun 06 11:41:54 2018 +0200
     1.2 +++ b/ANNOUNCE	Wed Jun 06 11:49:16 2018 +0200
     1.3 @@ -1,32 +1,15 @@
     1.4 -Subject: Announcing Isabelle2017
     1.5 +Subject: Announcing Isabelle2018
     1.6  To: isabelle-users@cl.cam.ac.uk
     1.7  
     1.8 -Isabelle2017 is now available.
     1.9 +Isabelle2018 is now available.
    1.10  
    1.11 -This version introduces many changes over Isabelle2016-1: see the NEWS
    1.12 +This version introduces many changes over Isabelle2017: see the NEWS
    1.13  file for further details. Some notable points:
    1.14  
    1.15 -* Experimental support for Visual Studio Code as alternative PIDE front-end.
    1.16 -
    1.17 -* Improved Isabelle/jEdit Prover IDE: management of session sources
    1.18 -independently of editor buffers, removal of unused theories, explicit
    1.19 -indication of theory status, more careful auto-indentation.
    1.20 -
    1.21 -* Session-qualified theory imports.
    1.22 -
    1.23 -* Code generator improvements: support for statically embedded computations.
    1.24 -
    1.25 -* Numerous HOL library improvements.
    1.26 -
    1.27 -* More material in HOL-Algebra, HOL-Computational_Algebra and HOL-Analysis
    1.28 -(ported from HOL-Light).
    1.29 -
    1.30 -* Improved Nunchaku model finder, now in main HOL.
    1.31 -
    1.32 -* SQL database support in Isabelle/Scala.
    1.33 +* FIXME.
    1.34  
    1.35  
    1.36 -You may get Isabelle2017 from the following mirror sites:
    1.37 +You may get Isabelle2018 from the following mirror sites:
    1.38  
    1.39    Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
    1.40    Munich (Germany)     http://isabelle.in.tum.de
     2.1 --- a/CONTRIBUTORS	Wed Jun 06 11:41:54 2018 +0200
     2.2 +++ b/CONTRIBUTORS	Wed Jun 06 11:49:16 2018 +0200
     2.3 @@ -3,11 +3,11 @@
     2.4  listed as an author in one of the source files of this Isabelle distribution.
     2.5  
     2.6  
     2.7 -Contributions to this Isabelle version
     2.8 ---------------------------------------
     2.9 +Contributions to Isabelle2018
    2.10 +-----------------------------
    2.11  
    2.12  * May 2018: Manuel Eberl
    2.13 -  Landau symbols and asymptotic equivalence (moved from the AFP)
    2.14 +  Landau symbols and asymptotic equivalence (moved from the AFP).
    2.15  
    2.16  * May 2018: Jose Divasón (Universidad de la Rioja),
    2.17    Jesús Aransay (Universidad de la Rioja), Johannes Hölzl (VU Amsterdam),
    2.18 @@ -22,9 +22,8 @@
    2.19    Code generation with lazy evaluation semantics.
    2.20  
    2.21  * March 2018: Florian Haftmann
    2.22 -  Abstract bit operations push_bit, take_bit, drop_bit, alongside
    2.23 -  with an algebraic foundation for bit strings and word types in
    2.24 -  HOL-ex.
    2.25 +  Abstract bit operations push_bit, take_bit, drop_bit, alongside with an
    2.26 +  algebraic foundation for bit strings and word types in HOL-ex.
    2.27  
    2.28  * March 2018: Viorel Preoteasa
    2.29    Generalisation of complete_distrib_lattice
    2.30 @@ -36,7 +35,8 @@
    2.31    A new conditional parametricity prover.
    2.32  
    2.33  * October 2017: Alexander Maletzky
    2.34 -  Derivation of axiom "iff" in HOL.thy from the other axioms.
    2.35 +  Derivation of axiom "iff" in theory HOL.HOL from the other axioms.
    2.36 +
    2.37  
    2.38  Contributions to Isabelle2017
    2.39  -----------------------------
     3.1 --- a/COPYRIGHT	Wed Jun 06 11:41:54 2018 +0200
     3.2 +++ b/COPYRIGHT	Wed Jun 06 11:49:16 2018 +0200
     3.3 @@ -1,6 +1,6 @@
     3.4  ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
     3.5  
     3.6 -Copyright (c) 1986-2017,
     3.7 +Copyright (c) 1986-2018,
     3.8    University of Cambridge,
     3.9    Technische Universitaet Muenchen,
    3.10    and contributors.
     4.1 --- a/NEWS	Wed Jun 06 11:41:54 2018 +0200
     4.2 +++ b/NEWS	Wed Jun 06 11:49:16 2018 +0200
     4.3 @@ -4,8 +4,8 @@
     4.4  (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
     4.5  
     4.6  
     4.7 -New in this Isabelle version
     4.8 -----------------------------
     4.9 +New in Isabelle2018 (August 2018)
    4.10 +---------------------------------
    4.11  
    4.12  *** General ***
    4.13