| changeset 54705 | 0dff3326d12a |
| parent 54702 | 3daeba5130f0 |
| child 54708 | 8e71c6ed4d74 |
--- 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 ***