# HG changeset patch
# User wenzelm
# Date 1384984818 -3600
# Node ID 5adc68deb3229f5933ae149c90fd646cb9cb881c
# Parent  46adb57c89db18c6a2b0af149975ba7f94e8058b
updated to Isabelle2013-2;

diff -r 46adb57c89db -r 5adc68deb322 ANNOUNCE
--- a/ANNOUNCE	Wed Nov 20 22:15:53 2013 +0100
+++ b/ANNOUNCE	Wed Nov 20 23:00:18 2013 +0100
@@ -1,11 +1,11 @@
-Subject: Announcing Isabelle2013-1
+Subject: Announcing Isabelle2013-2
 To: isabelle-users@cl.cam.ac.uk
 
-Isabelle2013-1 is now available.
+Isabelle2013-2 is now available.
 
-This version consolidates Isabelle2013 and introduces numerous
-improvements, see the NEWS file in the distribution for more details.
-Some highlights are:
+This version supersedes Isabelle2013-1, which in turn consolidated
+Isabelle2013 and introduced numerous improvements.  See the NEWS file
+in the distribution for more details.  Some highlights are:
 
 * Significantly improved Isabelle/jEdit Prover IDE.
 
@@ -24,7 +24,7 @@
 * HOL-BNF: significantly improved BNF-based (co)datatype package.
 
 
-You may get Isabelle2013-1 from the following mirror sites:
+You may get Isabelle2013-2 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 46adb57c89db -r 5adc68deb322 Admin/Windows/Cygwin/README
--- a/Admin/Windows/Cygwin/README	Wed Nov 20 22:15:53 2013 +0100
+++ b/Admin/Windows/Cygwin/README	Wed Nov 20 23:00:18 2013 +0100
@@ -9,7 +9,7 @@
 * Local snapshots:
   http://isabelle.in.tum.de/cygwin  (Isabelle2012)
   http://isabelle.in.tum.de/cygwin_2013  (Isabelle2013)
-  http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1)
+  http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)
 
 * Quasi-component: "isabelle makedist_cygwin"
 
diff -r 46adb57c89db -r 5adc68deb322 NEWS
--- a/NEWS	Wed Nov 20 22:15:53 2013 +0100
+++ b/NEWS	Wed Nov 20 23:00:18 2013 +0100
@@ -1,6 +1,16 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in Isabelle2013-2 (December 2013)
+-------------------------------------
+
+*** Prover IDE -- Isabelle/Scala/jEdit ***
+
+* More robust editing of running commands with internal forks,
+e.g. non-terminating 'by' steps.
+
+
+
 New in Isabelle2013-1 (November 2013)
 -------------------------------------
 
diff -r 46adb57c89db -r 5adc68deb322 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Wed Nov 20 22:15:53 2013 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Wed Nov 20 23:00:18 2013 +0100
@@ -477,7 +477,7 @@
   \medskip A black rectangle in the text indicates a hyperlink that
   may be followed by a mouse click (while the @{verbatim CONTROL} or
   @{verbatim COMMAND} modifier key is still pressed). Presently
-  (Isabelle2013-1) there is no systematic navigation within the
+  (Isabelle2013-2) there is no systematic navigation within the
   editor to return to the original location.
 
   Also note that the link target may be a file that is itself not
@@ -1109,7 +1109,7 @@
 
   \textbf{Workaround:} Do not use input methods, reset the environment
   variable @{verbatim XMODIFIERS} within Isabelle settings (default in
-  Isabelle2013-1).
+  Isabelle2013-2).
 
   \item \textbf{Problem:} Some Linux / X11 window managers that are
   not ``re-parenting'' cause problems with additional windows opened