NEWS
changeset 64986 b81a048960a3
parent 64917 5db5b8cf6dc6
child 65027 2b8583507891
     1.1 --- a/NEWS	Sat Feb 04 20:12:27 2017 +0100
     1.2 +++ b/NEWS	Sat Feb 04 21:15:11 2017 +0100
     1.3 @@ -7,6 +7,12 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** General ***
     1.8 +
     1.9 +* Document antiquotations @{prf} and @{full_prf} output proof terms
    1.10 +(again) in the same way as commands 'prf' and 'full_prf'.
    1.11 +
    1.12 +
    1.13  *** Prover IDE -- Isabelle/Scala/jEdit ***
    1.14  
    1.15  * Command-line invocation "isabelle jedit -R -l LOGIC" opens the ROOT