diff -r ea71549629e2 -r 0dff3326d12a NEWS
--- a/NEWS	Mon Dec 09 12:27:18 2013 +0100
+++ b/NEWS	Mon Dec 09 20:16:12 2013 +0100
@@ -9,6 +9,9 @@
 * Document antiquotation @{url} produces markup for the given URL,
 which results in an active hyperlink within the text.
 
+* Document antiquotation @{file_unchecked} is like @{file}, but does
+not check existence within the file-system.
+
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***