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