# HG changeset patch
# User krauss
# Date 1275575990 -7200
# Node ID 6180b6ba3e9a505add85c790f477102d4963e96c
# Parent  12790d670662d7af583062019afe3024fcdbf5e5
clarified

diff -r 12790d670662 -r 6180b6ba3e9a NEWS
--- a/NEWS	Thu Jun 03 16:39:05 2010 +0200
+++ b/NEWS	Thu Jun 03 16:39:50 2010 +0200
@@ -140,8 +140,8 @@
 within a local theory context.  Minor INCOMPATIBILITY.
 
 * Proof terms: Type substitutions on proof constants now use canonical
-order of type variables. Potential INCOMPATIBILITY for tools working
-with proof terms.
+order of type variables.  INCOMPATIBILITY for tools working with proof
+terms.
 
 * New operation Thm.unconstrainT eliminates all sort constraints from
 a theorem and proof, introducing explicit OFCLASS-premises. On the