--- 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/
--- 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"
--- 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)
-------------------------------------
--- 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