NEWS
changeset 42370 244911efd275
parent 42360 da8817d01e7c
child 42403 38b29c9fc742
     1.1 --- a/NEWS	Sat Apr 16 21:45:47 2011 +0200
     1.2 +++ b/NEWS	Sat Apr 16 22:21:34 2011 +0200
     1.3 @@ -112,6 +112,9 @@
     1.4  * Typed print translation: discontinued show_sorts argument, which is
     1.5  already available via context of "advanced" translation.
     1.6  
     1.7 +* Refined PARALLEL_GOALS tactical: degrades gracefully for schematic
     1.8 +goal states; body tactic needs to address all subgoals uniformly.
     1.9 +
    1.10  
    1.11  
    1.12  New in Isabelle2011 (January 2011)