| changeset 59936 | b8ffc3dc9e24 |
| parent 59926 | 003dbac78546 |
| child 59939 | 7d46aa03696e |
--- 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 ***