| changeset 42370 | 244911efd275 |
| parent 42360 | da8817d01e7c |
| child 42403 | 38b29c9fc742 |
--- 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)