updated to Isabelle2013-2;
authorwenzelm
Wed Nov 20 23:00:18 2013 +0100 (2013-11-20)
changeset 546395adc68deb322
parent 54638 46adb57c89db
child 54640 bbd2fa353809
updated to Isabelle2013-2;
ANNOUNCE
Admin/Windows/Cygwin/README
NEWS
src/Doc/JEdit/JEdit.thy
     1.1 --- a/ANNOUNCE	Wed Nov 20 22:15:53 2013 +0100
     1.2 +++ b/ANNOUNCE	Wed Nov 20 23:00:18 2013 +0100
     1.3 @@ -1,11 +1,11 @@
     1.4 -Subject: Announcing Isabelle2013-1
     1.5 +Subject: Announcing Isabelle2013-2
     1.6  To: isabelle-users@cl.cam.ac.uk
     1.7  
     1.8 -Isabelle2013-1 is now available.
     1.9 +Isabelle2013-2 is now available.
    1.10  
    1.11 -This version consolidates Isabelle2013 and introduces numerous
    1.12 -improvements, see the NEWS file in the distribution for more details.
    1.13 -Some highlights are:
    1.14 +This version supersedes Isabelle2013-1, which in turn consolidated
    1.15 +Isabelle2013 and introduced numerous improvements.  See the NEWS file
    1.16 +in the distribution for more details.  Some highlights are:
    1.17  
    1.18  * Significantly improved Isabelle/jEdit Prover IDE.
    1.19  
    1.20 @@ -24,7 +24,7 @@
    1.21  * HOL-BNF: significantly improved BNF-based (co)datatype package.
    1.22  
    1.23  
    1.24 -You may get Isabelle2013-1 from the following mirror sites:
    1.25 +You may get Isabelle2013-2 from the following mirror sites:
    1.26  
    1.27    Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
    1.28    Munich (Germany)     http://isabelle.in.tum.de/
     2.1 --- a/Admin/Windows/Cygwin/README	Wed Nov 20 22:15:53 2013 +0100
     2.2 +++ b/Admin/Windows/Cygwin/README	Wed Nov 20 23:00:18 2013 +0100
     2.3 @@ -9,7 +9,7 @@
     2.4  * Local snapshots:
     2.5    http://isabelle.in.tum.de/cygwin  (Isabelle2012)
     2.6    http://isabelle.in.tum.de/cygwin_2013  (Isabelle2013)
     2.7 -  http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1)
     2.8 +  http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)
     2.9  
    2.10  * Quasi-component: "isabelle makedist_cygwin"
    2.11  
     3.1 --- a/NEWS	Wed Nov 20 22:15:53 2013 +0100
     3.2 +++ b/NEWS	Wed Nov 20 23:00:18 2013 +0100
     3.3 @@ -1,6 +1,16 @@
     3.4  Isabelle NEWS -- history user-relevant changes
     3.5  ==============================================
     3.6  
     3.7 +New in Isabelle2013-2 (December 2013)
     3.8 +-------------------------------------
     3.9 +
    3.10 +*** Prover IDE -- Isabelle/Scala/jEdit ***
    3.11 +
    3.12 +* More robust editing of running commands with internal forks,
    3.13 +e.g. non-terminating 'by' steps.
    3.14 +
    3.15 +
    3.16 +
    3.17  New in Isabelle2013-1 (November 2013)
    3.18  -------------------------------------
    3.19  
     4.1 --- a/src/Doc/JEdit/JEdit.thy	Wed Nov 20 22:15:53 2013 +0100
     4.2 +++ b/src/Doc/JEdit/JEdit.thy	Wed Nov 20 23:00:18 2013 +0100
     4.3 @@ -477,7 +477,7 @@
     4.4    \medskip A black rectangle in the text indicates a hyperlink that
     4.5    may be followed by a mouse click (while the @{verbatim CONTROL} or
     4.6    @{verbatim COMMAND} modifier key is still pressed). Presently
     4.7 -  (Isabelle2013-1) there is no systematic navigation within the
     4.8 +  (Isabelle2013-2) there is no systematic navigation within the
     4.9    editor to return to the original location.
    4.10  
    4.11    Also note that the link target may be a file that is itself not
    4.12 @@ -1109,7 +1109,7 @@
    4.13  
    4.14    \textbf{Workaround:} Do not use input methods, reset the environment
    4.15    variable @{verbatim XMODIFIERS} within Isabelle settings (default in
    4.16 -  Isabelle2013-1).
    4.17 +  Isabelle2013-2).
    4.18  
    4.19    \item \textbf{Problem:} Some Linux / X11 window managers that are
    4.20    not ``re-parenting'' cause problems with additional windows opened