NEWS
changeset 54702 3daeba5130f0
parent 54688 47e61b768814
child 54705 0dff3326d12a
     1.1 --- a/NEWS	Mon Dec 09 09:44:57 2013 +0100
     1.2 +++ b/NEWS	Mon Dec 09 12:16:52 2013 +0100
     1.3 @@ -4,6 +4,12 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** General ***
     1.8 +
     1.9 +* Document antiquotation @{url} produces markup for the given URL,
    1.10 +which results in an active hyperlink within the text.
    1.11 +
    1.12 +
    1.13  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.14  
    1.15  * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.