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