NEWS

--- a/NEWS	Thu Jan 05 18:18:39 2012 +0100
+++ b/NEWS	Thu Jan 05 20:26:01 2012 +0100
@@ -66,6 +66,9 @@
 pattern notation; e.g. see src/HOL/HOLCF/One.thy for translations of
 one_case.
 
+* Discontinued configuration option "syntax_positions": atomic terms
+in parse trees are always annotated by position constraints.
+
 * Finite_Set.fold now qualified.  INCOMPATIBILITY.
 
 * Renamed some facts on canonical fold on lists, in order to avoid problems