NEWS
changeset 32365 9b74d0339c44
parent 32326 9d70ecf11b7a
child 32388 b23a4326b9bb
     1.1 --- a/NEWS	Tue Aug 11 20:40:02 2009 +0200
     1.2 +++ b/NEWS	Wed Aug 12 00:26:01 2009 +0200
     1.3 @@ -148,6 +148,9 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 +* PARALLEL_CHOICE and PARALLEL_GOALS provide basic support for
     1.8 +parallel tactical reasoning.
     1.9 +
    1.10  * Tactical FOCUS is similar to SUBPROOF, but allows the body tactic to
    1.11  introduce new subgoals and schematic variables.  FOCUS_PARAMS is
    1.12  similar, but focuses on the parameter prefix only, leaving subgoal