1.1 --- a/NEWS Sun Jul 10 17:58:11 2011 +0200
1.2 +++ b/NEWS Sun Jul 10 20:59:04 2011 +0200
1.3 @@ -146,6 +146,12 @@
1.4
1.5 *** ML ***
1.6
1.7 +* The inner syntax of sort/type/term/prop supports inlined YXML
1.8 +representations within quoted string tokens. By encoding logical
1.9 +entities via Term_XML (in ML or Scala) concrete syntax can be
1.10 +bypassed, which is particularly useful for producing bits of text
1.11 +under external program control.
1.12 +
1.13 * Antiquotations for ML and document preparation are managed as theory
1.14 data, which requires explicit setup.
1.15