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