diff -r 167e8ba0f4b1 -r 244911efd275 NEWS
--- a/NEWS	Sat Apr 16 21:45:47 2011 +0200
+++ b/NEWS	Sat Apr 16 22:21:34 2011 +0200
@@ -112,6 +112,9 @@
 * Typed print translation: discontinued show_sorts argument, which is
 already available via context of "advanced" translation.
 
+* Refined PARALLEL_GOALS tactical: degrades gracefully for schematic
+goal states; body tactic needs to address all subgoals uniformly.
+
 
 
 New in Isabelle2011 (January 2011)