| changeset 12832 | c31b44286a8a |
| parent 12777 | 70b2651af635 |
| child 12837 | 74ce01905e57 |
--- a/NEWS Mon Jan 21 17:02:52 2002 +0100 +++ b/NEWS Mon Jan 21 17:03:38 2002 +0100 @@ -332,6 +332,9 @@ translation functions; potential INCOMPATIBILITY: need to reverse multiple declarations for same syntax element constant; +* Pure/show_hyps reset by default (in accordance to existing Isar +practice); + * Provers/classical: renamed addaltern to addafter, addSaltern to addSafter;