NEWS

--- a/NEWS	Mon Sep 01 10:20:14 2008 +0200
+++ b/NEWS	Mon Sep 01 10:28:04 2008 +0200
@@ -135,6 +135,8 @@
 instantiations for algebraic structures.  Removed some duplicate
 theorems.  Changes in simp rules.  INCOMPATIBILITY.
 
+* ATP selection (E/Vampire/Spass) is now via PG's settings menu.
+
 
 *** HOL-Algebra ***