| changeset 56071 | 2ffdedb0c044 |
| parent 56069 | 451d5b73f8cf |
| child 56072 | 31e427387ab5 |
--- a/NEWS Wed Mar 12 22:41:04 2014 +0100 +++ b/NEWS Wed Mar 12 22:44:55 2014 +0100 @@ -441,6 +441,9 @@ ML_Context.antiquotation, to make it more close to the analogous Thy_Output.antiquotation. Minor INCOMPATIBILTY. +* ML antiquotation @{here} refers to its source position, which is +occasionally useful for experimentation and diagnostic purposes. + *** System ***