# HG changeset patch
# User nipkow
# Date 1220257684 -7200
# Node ID 4b6783d3f0d99415235d1014c8964994b7024217
# Parent  611e504c11914f34c983b1160bcde6da40708f2c
*** empty log message ***

diff -r 611e504c1191 -r 4b6783d3f0d9 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 ***