diff -r 343905de27b1 -r b8ffc3dc9e24 NEWS
--- a/NEWS	Mon Apr 06 16:30:44 2015 +0200
+++ b/NEWS	Mon Apr 06 17:06:48 2015 +0200
@@ -407,6 +407,10 @@
 * Goal.prove_multi is superseded by the fully general Goal.prove_common,
 which also allows to specify a fork priority.
 
+* Antiquotation @{command_spec "COMMAND"} is superseded by
+@{command_keyword COMMAND} (usually without quotes and with PIDE
+markup). Minor INCOMPATIBILITY.
+
 
 *** System ***