* Pure/show_hyps reset by default (in accordance to existing Isar practice);
authorwenzelm
Mon Jan 21 17:03:38 2002 +0100 (2002-01-21)
changeset 12832c31b44286a8a
parent 12831 a2a3896f9c48
child 12833 9f3226cfe021
* Pure/show_hyps reset by default (in accordance to existing Isar practice);
NEWS
     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