NEWS
changeset 61660 78b371644654
parent 61658 5dce70aecbfc
child 61670 301e0b4ecd45
child 61681 ca53150406c9
     1.1 --- a/NEWS	Fri Nov 13 17:48:33 2015 +0100
     1.2 +++ b/NEWS	Fri Nov 13 19:59:28 2015 +0100
     1.3 @@ -95,6 +95,9 @@
     1.4  (outer syntax with command keywords etc.). This may be used in the short
     1.5  form \<^theory_text>\<open>...\<close>.
     1.6  
     1.7 +* Antiquotation @{doc ENTRY} provides a reference to the given
     1.8 +documentation, with a hyperlink in the Prover IDE.
     1.9 +
    1.10  * Antiquotations @{command}, @{method}, @{attribute} print checked
    1.11  entities of the Isar language.
    1.12