diff -r 69592ac04836 -r b81a048960a3 NEWS
--- a/NEWS	Sat Feb 04 20:12:27 2017 +0100
+++ b/NEWS	Sat Feb 04 21:15:11 2017 +0100
@@ -7,6 +7,12 @@
 New in this Isabelle version
 ----------------------------
 
+*** General ***
+
+* Document antiquotations @{prf} and @{full_prf} output proof terms
+(again) in the same way as commands 'prf' and 'full_prf'.
+
+
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
 * Command-line invocation "isabelle jedit -R -l LOGIC" opens the ROOT