NEWS
changeset 54639 5adc68deb322
parent 54378 72254819befd
child 54641 50169ef2cca3
     1.1 --- a/NEWS	Wed Nov 20 22:15:53 2013 +0100
     1.2 +++ b/NEWS	Wed Nov 20 23:00:18 2013 +0100
     1.3 @@ -1,6 +1,16 @@
     1.4  Isabelle NEWS -- history user-relevant changes
     1.5  ==============================================
     1.6  
     1.7 +New in Isabelle2013-2 (December 2013)
     1.8 +-------------------------------------
     1.9 +
    1.10 +*** Prover IDE -- Isabelle/Scala/jEdit ***
    1.11 +
    1.12 +* More robust editing of running commands with internal forks,
    1.13 +e.g. non-terminating 'by' steps.
    1.14 +
    1.15 +
    1.16 +
    1.17  New in Isabelle2013-1 (November 2013)
    1.18  -------------------------------------
    1.19