| changeset 45592 | 8baa0b7f3f66 |
| parent 45547 | 94c37f3df10f |
| child 45593 | 7247ade03aa9 |
--- a/NEWS Sat Nov 19 17:20:17 2011 +0100 +++ b/NEWS Sat Nov 19 21:18:38 2011 +0100 @@ -137,6 +137,10 @@ *** ML *** +* Antiquotation @{attributes [...]} embeds attribute source +representation into the ML text, which is particularly useful with +declarations like Local_Theory.note. + * Structure Proof_Context follows standard naming scheme. Old ProofContext has been discontinued. INCOMPATIBILITY.