NEWS
changeset 54705 0dff3326d12a
parent 54702 3daeba5130f0
child 54708 8e71c6ed4d74
     1.1 --- a/NEWS	Mon Dec 09 12:27:18 2013 +0100
     1.2 +++ b/NEWS	Mon Dec 09 20:16:12 2013 +0100
     1.3 @@ -9,6 +9,9 @@
     1.4  * Document antiquotation @{url} produces markup for the given URL,
     1.5  which results in an active hyperlink within the text.
     1.6  
     1.7 +* Document antiquotation @{file_unchecked} is like @{file}, but does
     1.8 +not check existence within the file-system.
     1.9 +
    1.10  
    1.11  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.12