# 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 ***