NEWS

--- a/NEWS	Mon Dec 09 09:44:57 2013 +0100
+++ b/NEWS	Mon Dec 09 12:16:52 2013 +0100
@@ -4,6 +4,12 @@
 New in this Isabelle version
 ----------------------------
 
+*** General ***
+
+* Document antiquotation @{url} produces markup for the given URL,
+which results in an active hyperlink within the text.
+
+
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.