NEWS
changeset 59936 b8ffc3dc9e24
parent 59926 003dbac78546
child 59939 7d46aa03696e
     1.1 --- a/NEWS	Mon Apr 06 16:30:44 2015 +0200
     1.2 +++ b/NEWS	Mon Apr 06 17:06:48 2015 +0200
     1.3 @@ -407,6 +407,10 @@
     1.4  * Goal.prove_multi is superseded by the fully general Goal.prove_common,
     1.5  which also allows to specify a fork priority.
     1.6  
     1.7 +* Antiquotation @{command_spec "COMMAND"} is superseded by
     1.8 +@{command_keyword COMMAND} (usually without quotes and with PIDE
     1.9 +markup). Minor INCOMPATIBILITY.
    1.10 +
    1.11  
    1.12  *** System ***
    1.13