# HG changeset patch
# User wenzelm
# Date 1011629018 -3600
# Node ID c31b44286a8a6b0786abb0bb65ee5359024ea062
# Parent  a2a3896f9c48bdacdc037607a0a2380a457b619e
* Pure/show_hyps reset by default (in accordance to existing Isar practice);

diff -r a2a3896f9c48 -r c31b44286a8a NEWS
--- 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;