# HG changeset patch
# User wenzelm
# Date 1475828630 -7200
# Node ID 9f96e4da30641cc82238a9802bdaa9816f3696f8
# Parent  21b83e8121aa22e6ca2187d33b4b88921328b298
updated for release;

diff -r 21b83e8121aa -r 9f96e4da3064 ANNOUNCE
--- a/ANNOUNCE	Fri Oct 07 09:29:11 2016 +0200
+++ b/ANNOUNCE	Fri Oct 07 10:23:50 2016 +0200
@@ -1,33 +1,16 @@
-Subject: Announcing Isabelle2016
+Subject: Announcing Isabelle2016-1
 To: isabelle-users@cl.cam.ac.uk
 
-Isabelle2016 is now available.
-
-This version improves upon Isabelle2015 in many ways, see the NEWS file in the
-distribution for further details. Some highlights are as follows:
-
-* Enhanced Isabelle/jEdit Prover IDE, with separate State versus Output panel
-and more asynchronous task management within the prover/GUI.
-
-* Additional Isar language elements for structured statements and proofs.
-
-* Document language refinements, with Markdown-like text structure.
+Isabelle2016-1 is now available.
 
-* More Isabelle symbols in theory and document sources.
-
-* Pure/HOL: uniform treatment of overloaded constant definitions versus type
-definitions; upgrade of HOL typedef to definitional principle.
+This version introduces significant changes over Isabelle2016, see the
+NEWS file in the distribution for further details. Some highlights are
+as follows:
 
-* HOL tool enhancements: Sledgehammer, Nitpick, Quickcheck, Transfer.
-
-* HOL library additions and improvements, notably HOL-Multivariate_Analysis,
-HOL-Probability, HOL-Data_Structures.
-
-* Upgrade to Poly/ML 5.6 with debugger IDE support (Isabelle/ML and Standard
-ML), per-thread profiling, native Windows version (32bit and 64bit).
+* TBA
 
 
-You may get Isabelle2016 from the following mirror sites:
+You may get Isabelle2016-1 from the following mirror sites:
 
   Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
   Munich (Germany)     http://isabelle.in.tum.de
diff -r 21b83e8121aa -r 9f96e4da3064 CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Oct 07 09:29:11 2016 +0200
+++ b/CONTRIBUTORS	Fri Oct 07 10:23:50 2016 +0200
@@ -3,8 +3,8 @@
 listed as an author in one of the source files of this Isabelle distribution.
 
 
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2016-1
+-------------------------------
 
 * January 2016: Florian Haftmann, TUM
   Abolition of compound operators INFIMUM and SUPREMUM
diff -r 21b83e8121aa -r 9f96e4da3064 NEWS
--- a/NEWS	Fri Oct 07 09:29:11 2016 +0200
+++ b/NEWS	Fri Oct 07 10:23:50 2016 +0200
@@ -4,8 +4,8 @@
 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
 
 
-New in this Isabelle version
-----------------------------
+New in Isabelle2016-1 (December 2016)
+-------------------------------------
 
 *** General ***