# HG changeset patch
# User paulson
# Date 1127463955 -7200
# Node ID 3e3a30bf702f9e5a6ac216c5ea75eabe60f18a79
# Parent  98be710dabc4100376e606c1019aae5e847cea6e
ATP linkup

diff -r 98be710dabc4 -r 3e3a30bf702f NEWS
--- a/NEWS	Fri Sep 23 10:01:14 2005 +0200
+++ b/NEWS	Fri Sep 23 10:25:55 2005 +0200
@@ -442,6 +442,9 @@
 
 * Classical reasoning: the meson method now accepts theorems as arguments.
 
+* Prover support: pre-release of the Isabelle-ATP linkup, which runs background
+jobs to provide advice on the provability of subgoals.
+
 * Theory OrderedGroup and Ring_and_Field: various additions and
 improvements to faciliate calculations involving equalities and
 inequalities.